src/Doc/manual.bib
Sat, 21 Sep 2013 13:05:54 +0200 wenzelm basic setup for Isabelle/jEdit documentation;
Mon, 16 Sep 2013 00:40:02 +0200 blanchet more (co)data docs
Tue, 03 Sep 2013 22:12:48 +0200 ballarin Further clarifies sublocale and rewrite morphisms.
Wed, 21 Aug 2013 12:28:34 +0200 haftmann reference to datatype refinment paper
Thu, 01 Aug 2013 22:37:04 +0200 blanchet minor doc fixes
Wed, 31 Jul 2013 11:28:59 +0200 blanchet more (co)datatype documentation
Mon, 20 May 2013 16:12:33 +0200 blanchet updated Sledgehammer docs
Sat, 26 Jan 2013 16:30:47 +0100 wenzelm some updates concerning Proof General;
Tue, 20 Nov 2012 14:29:46 +0100 wenzelm some documentation for "algebra" in HOL;
Mon, 19 Nov 2012 16:14:18 +0100 wenzelm more refs;
Tue, 28 Aug 2012 18:57:32 +0200 wenzelm renamed doc-src to src/Doc;
less more (0) tip