Commit 185ceb3a authored by Michael Hanus 's avatar Michael Hanus

Curry domain name updated

parent ab0a3f38
......@@ -9,7 +9,7 @@ It is a subset of the
[original markdown syntax](http://en.wikipedia.org/wiki/Markdown)
(basically, only internal links and pictures are missing)
supported by the
[Curry](http://curry-language.org/) library
[Curry](http://curry-lang.org/) library
[Markdown](http://www.informatik.uni-kiel.de/~pakcs/lib/CDOC/Markdown.html).
Paragraphs and Basic Formatting
......
......@@ -87,7 +87,7 @@ before invoking a Curry program using ports).
If you detect any further technical problem,
please write to
\begin{center}
\code{pakcs@curry-language.org}
\code{pakcs@curry-lang.org}
\end{center}
%%% Local Variables:
......
......@@ -104,7 +104,7 @@ pakcsMain :-
writeNQ(RTArgs), nlNQ),
(verbosityNotQuiet
-> printPakcsHeader, nlNQ,
writeNQ('Type ":h" for help (contact: pakcs@curry-language.org)'),
writeNQ('Type ":h" for help (contact: pakcs@curry-lang.org)'),
nlNQ
; true),
flush_output,
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment