# HG changeset patch
# User wenzelm
# Date 944742901 -3600
# Node ID c9765800a4fae4f7cfdc96c2633d782dbb4b0c3b
# Parent  18cfe8facb793bc11b17771ac1ef6c93dd5a94c1
updated;

diff -r 18cfe8facb79 -r c9765800a4fa doc-src/manual.bib
--- 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/}}
 }