1.1 --- a/doc-src/manual.bib	Fri Oct 06 12:31:53 2000 +0200
     1.2 +++ b/doc-src/manual.bib	Fri Oct 06 14:19:48 2000 +0200
     1.3 @@ -90,10 +90,9 @@
     1.4  }
     1.5  @InProceedings{Aspinall:TACAS:2000,
     1.6    author = 	 {David Aspinall},
     1.7 -  title = 	 {Proof General: A Generic Tool for Proof Development},
     1.8 +  title = 	 {{P}roof {G}eneral: A Generic Tool for Proof Development},
     1.9    booktitle = 	 {ETAPS / TACAS},
    1.10 -  year =	 2000,
    1.11 -  note =	 {To appear}
    1.12 +  year =	 2000
    1.13  }
    1.14  
    1.15  @Misc{isamode,