doc-src/manual.bib
2000-09-26 wenzelm 2000-09-26 www.proofgeneral.org;
2000-09-03 paulson 2000-09-03 new reference girard89
2000-08-14 wenzelm 2000-08-14 Aspinall:2000:eProof; Muzalewski:Mizar; Wiedijk:1999:Mizar; Wiedijk:2000:MV;
2000-08-09 wenzelm 2000-08-09 added Bauer-Wenzel:2000:HB;
2000-05-21 wenzelm 2000-05-21 new stuff;
2000-03-17 wenzelm 2000-03-17 x-symbol; Proof General: TACAS 2000;
2000-02-23 paulson 2000-02-23 new reference korf85
1999-12-09 wenzelm 1999-12-09 updated;
1999-11-06 wenzelm 1999-11-06 tuned;
1999-11-01 paulson 1999-11-01 inserted {...}
1999-10-31 wenzelm 1999-10-31 updated;
1999-10-28 wenzelm 1999-10-28 tuned;
1999-10-13 wenzelm 1999-10-13 isabelle-isar-ref;
1999-08-25 wenzelm 1999-08-25 TPHOLs99;
1999-08-19 wenzelm 1999-08-19 sysman: Stefan Berghofer;
1999-08-16 wenzelm 1999-08-16 isamode;
1999-08-04 wenzelm 1999-08-04 added isabelle-sys, proofgeneral;
1999-07-19 wenzelm 1999-07-19 updated; tuned;
1999-05-28 wenzelm 1999-05-28 tuned manual.bib;
1999-05-18 paulson 1999-05-18 added Locale paper
1999-05-10 wenzelm 1999-05-10 tuned;
1999-05-10 wenzelm 1999-05-10 axclass; datatype;
1999-05-10 wenzelm 1999-05-10 fixed URLs;
1999-05-07 paulson 1999-05-07 new refererences for Inductive manual, but still incomplete
1999-05-06 nipkow 1999-05-06 More refs.
1999-05-05 paulson 1999-05-05 Now uses manual.bib; some references updated