13 May
2014
13 May
'14
6:19 p.m.
* doc/havm.texi (Top): Here.
(wiki): Remove macro.
---
doc/havm.texi | 21 ++++++++++-----------
1 file changed, 10 insertions(+), 11 deletions(-)
diff --git a/doc/havm.texi b/doc/havm.texi
index c2afb57..9e738fd 100644
--- a/doc/havm.texi
+++ b/doc/havm.texi
@@ -23,10 +23,6 @@
@end macro
@end ifnothtml
-@macro wiki
-http://www.lrde.epita.fr/cgi-bin/twiki/view
-@end macro
-
@macro havm
@acronym{HAVM}
@end macro
@@ -120,22 +116,25 @@ non strict functional language very well suited for this kind of
symbolic processing. @havm{} was coined on both Haskell, and
@acronym{vm} standing for Virtual Machine.
-Information about @havm{} can be found on @href{@wiki{}/Projects/Havm,
-@havm{} Home Page}, and feedback can be sent to
+Information about @havm{} can be found on
+@href{http://www.lrde.epita.fr/wiki/Havm, @havm{} Home Page},
+and feedback can be sent to
@href{projects@@lrde.epita.fr, @acronym{lrde}'s Projects Address}.
@acronym{LRDE} stands for @href{http://www.lrde.epita.fr, Laboratoire de
Recherche et Dévelopment de l'@acronym{EPITA}}, i.e., the Research and
-Development Labof @acronym{EPITA}, the @href{http://www.epita.fr, Ecole
+Development Labof @acronym{EPITA}, the @href{http://www.epita.fr, École
Pour l'Informatique et les Techniques Avancées}.
-@href{FIXME:, Andrew Appel's home page} includes links to material
+@href{http://www.cs.princeton.edu/~appel/, Andrew Appel's home page}
+includes links to material
related to compilers theory, and some information about the
-@href{FIXME:, Modern Compiler Implementation} book series.
+@href{http://www.cs.princeton.edu/~appel/modern/, Modern Compiler
+Implementation} book series.
More information on Haskell can be found on
@href{http://www.haskell.org, Haskell Home Page}. @havm{} requires a
-specific Haskell compiler, @acronym{GHC}, the @href{FIXME: , Glasgow
-Haskell Compiler}.
+specific Haskell compiler, @acronym{GHC}, the
+@href{http://www.haskell.org/ghc/, Glasgow Haskell Compiler}.
@menu
* Invoking havm:: Command Line Interface
--
1.7.10.4