Thu, 06 Dec 2007 16:36:21 +0100 haftmann dropped legacy bindings
Thu, 06 Dec 2007 16:36:19 +0100 haftmann authentic primrec
Thu, 06 Dec 2007 15:10:12 +0100 haftmann dropped void space
Thu, 06 Dec 2007 15:10:09 +0100 haftmann added new primrec package
Thu, 06 Dec 2007 12:58:01 +0100 krauss load sum_tree.ML
Thu, 06 Dec 2007 12:23:52 +0100 krauss factored out handling of sum types again
Thu, 06 Dec 2007 00:21:34 +0100 wenzelm added test_markup;
Thu, 06 Dec 2007 00:21:32 +0100 wenzelm moved basic test_markup to isabelle_process.ML;
Thu, 06 Dec 2007 00:21:32 +0100 wenzelm added channels;
Thu, 06 Dec 2007 00:21:30 +0100 wenzelm replaced Markup.enclose by Markup.markup, which operates on plain strings instead of raw output;
Thu, 06 Dec 2007 00:21:28 +0100 wenzelm check persistent sessions;
Wed, 05 Dec 2007 20:56:42 +0100 wenzelm tuned signature;
Wed, 05 Dec 2007 20:30:35 +0100 wenzelm made SML/NJ happy;
Wed, 05 Dec 2007 20:16:36 +0100 wenzelm removed -e flag from most sessions;
(0) -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 +30000 tip