# HG changeset patch
# User wenzelm
# Date 953329784 -3600
# Node ID d6e324af32d7cdde11462003c6e5a4cc17db3ca4
# Parent  242527763a166f85fdb6cd399496caa30379faa4
x-symbol;
Proof General: TACAS 2000;

diff -r 242527763a16 -r d6e324af32d7 doc-src/manual.bib
--- 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},