doc-src/manual.bib
2009-03-04 ago Merge.
2009-03-04 ago Merge.
2009-02-28 ago more refs;
2009-02-26 ago added Haftmann-Wenzel:2009;
2009-02-11 ago more refs;
2009-02-09 ago more refs;
2008-11-18 ago added isabelle-implementation manual;
2008-10-14 ago continued codegen tutorial
2008-06-03 ago added Wenzel:2006:Festschrift;
2007-11-05 ago fix
2007-10-19 ago updated
2007-09-18 ago updated
2007-09-03 ago Documented function package in IsarRef-manual.
2007-08-09 ago updated
2007-07-24 ago updated
2007-06-26 ago completed some references
2007-06-01 ago added some bibtex entries
2007-02-14 ago continued class tutorial
2007-02-10 ago added references for code generator tutorial
2006-10-20 ago added entries for tutorials
2006-09-12 ago added Gentzen:1935;
2006-09-05 ago added Barendregt-Geuvers:2001;
2005-01-08 ago new citation
2004-02-12 ago Missing } inserted
2004-02-10 ago updated links to the old ftp site
2003-12-15 ago updated references to the now-pornographic proofgeneral.org
2003-09-26 ago new reference
2003-08-13 ago added tutorial
2002-05-13 ago updated X-Symbol URL;
2002-03-04 ago Tuned some references to LNCS volumes.
2002-02-19 ago tuned;
2002-02-12 ago added isabelle-hol-book;
2002-01-08 ago tuned;
2002-01-02 ago added isabelle-intro, isabelle-logics;
2001-12-31 ago Added "Executing higher order logic" paper.
2001-12-11 ago added HOL-Library;
2001-11-29 ago *** empty log message ***
2001-09-28 ago Added TPHOLs2000 paper about proof terms.
2001-09-17 ago tuned;
2001-04-24 ago new reference: Yahalom
2001-04-10 ago security protocol refs
2001-03-15 ago *** empty log message ***
2001-03-15 ago *** empty log message ***
2001-03-14 ago *** empty log message ***
2001-03-07 ago expanded abbrevs
2001-03-07 ago *** empty log message ***
2001-01-24 ago *** empty log message ***
2001-01-05 ago Fleuriot reference
2000-10-18 ago *** empty log message ***
2000-10-11 ago *** empty log message ***
2000-10-11 ago *** empty log message ***
2000-10-06 ago tuned;
2000-09-28 ago www.proofgeneral.org;
2000-09-26 ago www.proofgeneral.org;
2000-09-03 ago new reference girard89
2000-08-14 ago Aspinall:2000:eProof;
2000-08-09 ago added Bauer-Wenzel:2000:HB;
2000-05-21 ago new stuff;
2000-03-17 ago x-symbol;
2000-02-23 ago new reference korf85