isabelle: Changelog

kleing [Wed, 08 Oct 2008 00:25:38 +0200] rev 28527

make the test for experimental sessions in isatest-check actually work (test for log files ending in e.log)

kleing [Wed, 08 Oct 2008 00:03:42 +0200] rev 28526

leave a log message when no snapshot is generated

haftmann [Tue, 07 Oct 2008 16:07:59 +0200] rev 28525

clarified preprocessor policies

haftmann [Tue, 07 Oct 2008 16:07:50 +0200] rev 28524

arbitrary is undefined

haftmann [Tue, 07 Oct 2008 16:07:40 +0200] rev 28523

tuned whitespace

haftmann [Tue, 07 Oct 2008 16:07:33 +0200] rev 28522

only one theorem table for both code generators

haftmann [Tue, 07 Oct 2008 16:07:30 +0200] rev 28521

proper default codegen attribute

haftmann [Tue, 07 Oct 2008 16:07:25 +0200] rev 28520

tuned code setup

haftmann [Tue, 07 Oct 2008 16:07:24 +0200] rev 28519

code generator more liberal with respect to sort constraints of instance parameters

haftmann [Tue, 07 Oct 2008 16:07:23 +0200] rev 28518

more Isar for example

isabelle