--- a/doc-src/manual.bib Fri Mar 17 22:49:13 2000 +0100
+++ b/doc-src/manual.bib Fri Mar 17 22:49:44 2000 +0100
@@ -80,6 +80,14 @@
series = "Computer Science and Applied Mathematics",
year = 1986}
+@InProceedings{Aspinall:TACAS:2000,
+ author = {David Aspinall},
+ title = {Proof General: A Generic Tool for Proof Development},
+ booktitle = {ETAPS / TACAS},
+ year = 2000,
+ note = {To appear}
+}
+
@Misc{isamode,
author = {David Aspinall},
title = {Isamode --- {U}sing {I}sabelle with {E}macs},
@@ -921,6 +929,12 @@
%W
+@Misc{x-symbol,
+ author = {Christoph Wedler},
+ title = {Emacs package ``{X-Symbol}''},
+ note = {\url{http://www.fmi.uni-passau.de/~wedler/x-symbol/}}
+}
+
@manual{isabelle-sys,
author = {Markus Wenzel and Stefan Berghofer},
title = {The {Isabelle} System Manual},