updated;

--- a/doc-src/manual.bib	Thu Dec 09 13:14:27 1999 +0100
+++ b/doc-src/manual.bib	Thu Dec 09 13:35:01 1999 +0100
@@ -81,7 +81,7 @@
 
 @Misc{isamode,
   author =	 {David Aspinall},
-  title =	 {Isamode},
+  title =	 {Isamode --- {U}sing {I}sabelle with {E}macs},
   note =	 {\url{http://www.dcs.ed.ac.uk/home/da/Isamode/}}
 }