|
|
@@ -104,12 +104,14 @@ In this document, we describe the use of the compiler. The RTL is described in t
|
|
|
If the documentation doesn't give an answer to your questions,
|
|
|
you can obtain more information on the Internet, on the following addresses:
|
|
|
\begin{itemize}
|
|
|
-\item \htmladdnormallink{http://tfdec1.fys.kuleuven.ac.be/\~ michael/fpk.html}
|
|
|
-{http://tfdec1.fys.kuleuven.ac.be/~michael/fpk.html} contains information
|
|
|
+\item
|
|
|
+\htmladdnormallink{http://tfdec1.fys.kuleuven.ac.be/\~{}michael/fpc/fpc.html}
|
|
|
+{http://tfdec1.fys.kuleuven.ac.be/\~{}michael/fpc/fpc.html} contains information
|
|
|
on the \linux port of the compiler. It contains also useful mail addresses and
|
|
|
links to other places.
|
|
|
-\item \htmladdnormallink{http://www.brain.uni-freiburg.de/\~klaus/fpk-pas}
|
|
|
-{http://www.brain.uni-freiburg.de/~klaus/fpc-pas} is the main \fpc information site.
|
|
|
+\item
|
|
|
+\htmladdnormallink{http://www.brain.uni-freiburg.de/\~{}klaus/fpc/fpc.html}
|
|
|
+{http://www.brain.uni-freiburg.de/\~{}klaus/fpc/fpc.html} is the main \fpc information site.
|
|
|
It also contains the instructions for inscribing to the \textit{mailing-list},
|
|
|
another useful source of information.
|
|
|
\end{itemize}
|
michael