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