diff -r 13293a7d4a57 -r 010dfaf75064 doc-src/manual.bib
--- a/doc-src/manual.bib	Mon May 10 15:16:49 1999 +0200
+++ b/doc-src/manual.bib	Mon May 10 15:17:14 1999 +0200
@@ -547,7 +547,7 @@
   note		= {Beta release},
   year		= 1993,
   month		= apr,
-  url		= {\verb|http://www.csl.sri.com/reports/pvs-language.dvi.Z|}}
+  url		= {\url{http://www.csl.sri.com/reports/pvs-language.dvi.Z}}}
 
 %P
 
@@ -572,7 +572,7 @@
 		 {Isabelle})}, 
   pages		= {246-274},
   crossref	= {colog88},
-  url		= {http://www.cl.cam.ac.uk/Research/Reports/TR175-lcp-simple.dvi.gz}}
+  url		= {\url{http://www.cl.cam.ac.uk/Research/Reports/TR175-lcp-simple.dvi.gz}}}
 
 @Article{paulson-coind,
   author	= {Lawrence C. Paulson},
@@ -603,7 +603,7 @@
   number	= 3,
   pages		= {363-397},
   year		= 1989,
-  url		= {http://www.cl.cam.ac.uk/Research/Reports/TR130-lcp-generic-theorem-prover.dvi.gz}}
+  url		= {\url{http://www.cl.cam.ac.uk/Research/Reports/TR130-lcp-generic-theorem-prover.dvi.gz}}}
 
 %replaces paulson-final
 @Article{paulson-mscs,
@@ -670,7 +670,7 @@
   volume	= 3,
   pages		= {237-258},
   year		= 1986,
-  url		= {http://www.cl.cam.ac.uk/Research/Reports/TR82-lcp-higher-order-resolution.dvi.gz}}
+  url		= {\url{http://www.cl.cam.ac.uk/Research/Reports/TR82-lcp-higher-order-resolution.dvi.gz}}}
 
 @Article{paulson-set-I,
   author	= {Lawrence C. Paulson},
@@ -692,7 +692,7 @@
   number	= 2,
   pages		= {167-215},
   year		= 1995,
-  url		= {http://www.cl.cam.ac.uk/Research/Reports/TR312-lcp-set-II.ps.gz}}
+  url		= {\url{http://www.cl.cam.ac.uk/Research/Reports/TR312-lcp-set-II.ps.gz}}}
 
 @article{paulson85,
   author	= {Lawrence C. Paulson},
@@ -715,7 +715,7 @@
   title		= {{Isabelle}: The Next 700 Theorem Provers},
   crossref	= {odifreddi90},
   pages		= {361-386},
-  url		= {http://www.cl.cam.ac.uk/Research/Reports/TR143-lcp-experience.dvi.gz}}
+  url		= {\url{http://www.cl.cam.ac.uk/Research/Reports/TR143-lcp-experience.dvi.gz}}}
 
 % replaces paulson-ns and paulson-security
 @Article{paulson-jcs,
@@ -776,7 +776,7 @@
   year		= 1995,
   number	= 364,
   month		= may,
-  url		= {http://www.cl.cam.ac.uk:80/ftp/papers/reports/TR364-or200-church-rosser-isabelle.ps.gz}}
+  url		= {\url{http://www.cl.cam.ac.uk:80/ftp/papers/reports/TR364-or200-church-rosser-isabelle.ps.gz}}}
 
 @Book{reeves90,
   author	= {Steve Reeves and Michael Clarke},