updated;
authorwenzelm
Thu Dec 09 13:35:01 1999 +0100 (1999-12-09)
changeset 8062c9765800a4fa
parent 8061 18cfe8facb79
child 8063 a1063ed4aa29
updated;
doc-src/manual.bib
     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