# HG changeset patch
# User wenzelm
# Date 934808261 -7200
# Node ID 7577d5a5dc298357a5639e4267f9185fa77435fb
# Parent  8b4acb408301da28aa5a7b172ab8b052f5b5c4d5
isamode;

diff -r 8b4acb408301 -r 7577d5a5dc29 doc-src/manual.bib
--- a/doc-src/manual.bib	Mon Aug 16 14:22:45 1999 +0200
+++ b/doc-src/manual.bib	Mon Aug 16 14:57:41 1999 +0200
@@ -79,6 +79,18 @@
   series	= "Computer Science and Applied Mathematics",
   year		= 1986}
 
+@Misc{isamode,
+  author =	 {David Aspinall},
+  title =	 {Isamode},
+  note =	 {\url{http://www.dcs.ed.ac.uk/home/da/Isamode/}}
+}
+
+@Misc{proofgeneral,
+  author =	 {David Aspinall and others},
+  title =	 {{P}roof {G}eneral --- {O}rganize your proofs!},
+  note =	 {\url{http://www.dcs.ed.ac.uk/home/proofgen/}}
+}
+
 %B
 
 @incollection{basin91,
@@ -775,12 +787,6 @@
   number	= 4,
   pages		= {389-402}}
 
-@Misc{proofgeneral,
-  author =	 {David Aspinall and others},
-  title =	 {{P}roof {G}eneral --- {O}rganize your proofs!},
-  note =	 {\url{http://www.dcs.ed.ac.uk/home/proofgen/}}
-}
-
 %Q
 
 @Article{quaife92,