trivial diff: reference_manual.texi: URL for kostis's thesis

[Fergus Henderson]

doc/reference_manual.texi:
	Add URL for Kostis's thesis.

Index: reference_manual.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.93
diff -u -u -r1.93 reference_manual.texi
--- reference_manual.texi	1998/05/27 04:00:45	1.93
+++ reference_manual.texi	1998/05/29 19:24:11
@@ -4407,7 +4407,8 @@
 @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.
+PhD thesis, SUNY at Stony Brook, 1996.  Available from
+<http://www.cs.kuleuven.ac.be/~kostis/Thesis/thesis.ps.gz>.
 
 @node [5]
 @unnumberedsec [5]

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.