1.1 --- a/doc-src/manual.bib	Fri Mar 17 22:49:13 2000 +0100
     1.2 +++ b/doc-src/manual.bib	Fri Mar 17 22:49:44 2000 +0100
     1.3 @@ -80,6 +80,14 @@
     1.4    series	= "Computer Science and Applied Mathematics",
     1.5    year		= 1986}
     1.6  
     1.7 +@InProceedings{Aspinall:TACAS:2000,
     1.8 +  author = 	 {David Aspinall},
     1.9 +  title = 	 {Proof General: A Generic Tool for Proof Development},
    1.10 +  booktitle = 	 {ETAPS / TACAS},
    1.11 +  year =	 2000,
    1.12 +  note =	 {To appear}
    1.13 +}
    1.14 +
    1.15  @Misc{isamode,
    1.16    author =	 {David Aspinall},
    1.17    title =	 {Isamode --- {U}sing {I}sabelle with {E}macs},
    1.18 @@ -921,6 +929,12 @@
    1.19  
    1.20  %W
    1.21  
    1.22 +@Misc{x-symbol,
    1.23 +  author =	 {Christoph Wedler},
    1.24 +  title =	 {Emacs package ``{X-Symbol}''},
    1.25 +  note =	 {\url{http://www.fmi.uni-passau.de/~wedler/x-symbol/}}
    1.26 +}
    1.27 +
    1.28  @manual{isabelle-sys,
    1.29    author	= {Markus Wenzel and Stefan Berghofer},
    1.30    title		= {The {Isabelle} System Manual},