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