[m-rev.] diff: update dead links in ref. manual

Julien Fischer jfischer at opturion.com
Tue Jan 7 18:07:06 AEDT 2014

Branches: master, 14.01


Update dead links in reference manual.

 	Update dead WWW links (mainly to stuff that used
 	to be hosted at CSSE.)

 	Mark up URLs using @uref, so that we get actual
 	links in the HTML version of the manual.


diff --git a/doc/reference_manual.texi b/doc/reference_manual.texi
index 9770adf..7ceb4a8 100644
--- a/doc/reference_manual.texi
+++ b/doc/reference_manual.texi
@@ -10602,7 +10602,7 @@ Analysis for Mercury}.  In P. Van Hentenryck, editor, @cite{Static
  Analysis: Proceedings of the 4th International Symposium}, Lecture
  Notes in Computer Science. Springer, 1997.  A longer version is
  available for download from
+ at uref{http://www.mercurylang.org/documentation/papers/mu_97_09.ps.gz}.

  @node [2]
  @unnumberedsec [2]
@@ -10616,14 +10616,14 @@ Logic Programming}, pages 336--350.  MIT Press, 1992.
  Chris Speirs, @cite{Termination Analysis for Logic Programs},
  Technical Report 97/23, Department of Computer Science, The University
  of Melbourne, Melbourne, Australia, 1997.  Available from
+ at uref{http://www.mercurylang.org/documentation/papers/mu_97_23.ps.gz}.

  @node [4]
  @unnumberedsec [4]
  K. Sagonas, @cite{The SLG-WAM: A Search-Efficient Engine
  for Well-Founded Evaluation of Normal Logic Programs},
-PhD thesis, SUNY at Stony Brook, 1996.  Available from @* 
+PhD thesis, SUNY at Stony Brook, 1996.  Available from
+ at uref{http://user.it.uu.se/~kostis/Thesis/thesis.ps.gz}.

  @node [5]
  @unnumberedsec [5]

More information about the reviews mailing list