1.1 --- a/doc-src/manual.bib	Mon May 10 15:16:49 1999 +0200
     1.2 +++ b/doc-src/manual.bib	Mon May 10 15:17:14 1999 +0200
     1.3 @@ -547,7 +547,7 @@
     1.4    note		= {Beta release},
     1.5    year		= 1993,
     1.6    month		= apr,
     1.7 -  url		= {\verb|http://www.csl.sri.com/reports/pvs-language.dvi.Z|}}
     1.8 +  url		= {\url{http://www.csl.sri.com/reports/pvs-language.dvi.Z}}}
     1.9  
    1.10  %P
    1.11  
    1.12 @@ -572,7 +572,7 @@
    1.13  		 {Isabelle})}, 
    1.14    pages		= {246-274},
    1.15    crossref	= {colog88},
    1.16 -  url		= {http://www.cl.cam.ac.uk/Research/Reports/TR175-lcp-simple.dvi.gz}}
    1.17 +  url		= {\url{http://www.cl.cam.ac.uk/Research/Reports/TR175-lcp-simple.dvi.gz}}}
    1.18  
    1.19  @Article{paulson-coind,
    1.20    author	= {Lawrence C. Paulson},
    1.21 @@ -603,7 +603,7 @@
    1.22    number	= 3,
    1.23    pages		= {363-397},
    1.24    year		= 1989,
    1.25 -  url		= {http://www.cl.cam.ac.uk/Research/Reports/TR130-lcp-generic-theorem-prover.dvi.gz}}
    1.26 +  url		= {\url{http://www.cl.cam.ac.uk/Research/Reports/TR130-lcp-generic-theorem-prover.dvi.gz}}}
    1.27  
    1.28  %replaces paulson-final
    1.29  @Article{paulson-mscs,
    1.30 @@ -670,7 +670,7 @@
    1.31    volume	= 3,
    1.32    pages		= {237-258},
    1.33    year		= 1986,
    1.34 -  url		= {http://www.cl.cam.ac.uk/Research/Reports/TR82-lcp-higher-order-resolution.dvi.gz}}
    1.35 +  url		= {\url{http://www.cl.cam.ac.uk/Research/Reports/TR82-lcp-higher-order-resolution.dvi.gz}}}
    1.36  
    1.37  @Article{paulson-set-I,
    1.38    author	= {Lawrence C. Paulson},
    1.39 @@ -692,7 +692,7 @@
    1.40    number	= 2,
    1.41    pages		= {167-215},
    1.42    year		= 1995,
    1.43 -  url		= {http://www.cl.cam.ac.uk/Research/Reports/TR312-lcp-set-II.ps.gz}}
    1.44 +  url		= {\url{http://www.cl.cam.ac.uk/Research/Reports/TR312-lcp-set-II.ps.gz}}}
    1.45  
    1.46  @article{paulson85,
    1.47    author	= {Lawrence C. Paulson},
    1.48 @@ -715,7 +715,7 @@
    1.49    title		= {{Isabelle}: The Next 700 Theorem Provers},
    1.50    crossref	= {odifreddi90},
    1.51    pages		= {361-386},
    1.52 -  url		= {http://www.cl.cam.ac.uk/Research/Reports/TR143-lcp-experience.dvi.gz}}
    1.53 +  url		= {\url{http://www.cl.cam.ac.uk/Research/Reports/TR143-lcp-experience.dvi.gz}}}
    1.54  
    1.55  % replaces paulson-ns and paulson-security
    1.56  @Article{paulson-jcs,
    1.57 @@ -776,7 +776,7 @@
    1.58    year		= 1995,
    1.59    number	= 364,
    1.60    month		= may,
    1.61 -  url		= {http://www.cl.cam.ac.uk:80/ftp/papers/reports/TR364-or200-church-rosser-isabelle.ps.gz}}
    1.62 +  url		= {\url{http://www.cl.cam.ac.uk:80/ftp/papers/reports/TR364-or200-church-rosser-isabelle.ps.gz}}}
    1.63  
    1.64  @Book{reeves90,
    1.65    author	= {Steve Reeves and Michael Clarke},