[m-dev.] DIFF:fixes Reference Manual
David Glen JEFFERY
dgj at cs.mu.OZ.AU
Tue Sep 15 19:31:21 AEST 1998
On 15-Sep-1998, Renaud BOURNONVILLE <rbournon at cs.mu.OZ.AU> wrote:
>
> Can you please review this, DJ?
>
>
> Estimated hours taken:
You need to fill the time in.
> /doc/reference_manual.texi:
> Fixed some errors (writing, formating or Mercury errors)
That all looks fine, thanks, as long as the formatting of
> @@ -4455,7 +4455,7 @@
> @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 \\
> <http://www.cs.kuleuven.ac.be/~kostis/Thesis/thesis.ps.gz>.
comes out correctly.
dgj
--
David Jeffery (dgj at cs.mu.oz.au) | Marge: Did you just call everyone "chicken"?
PhD student, | Homer: Noooo. I swear on this Bible!
Department of Computer Science | Marge: That's not a Bible; that's a book of
University of Melbourne | carpet samples!
Australia | Homer: Ooooh... Fuzzy.
More information about the developers
mailing list