| changeset 8062 | c9765800a4fa |
| parent 8003 | 5244d7ed31b9 |
| child 8284 | 95c022a866ca |
--- 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/}} }