isabelle: Changelog

haftmann [Tue, 10 Oct 2006 09:17:23 +0200] rev 20937

generalized purge

haftmann [Tue, 10 Oct 2006 09:17:22 +0200] rev 20936

changed order

haftmann [Tue, 10 Oct 2006 09:17:21 +0200] rev 20935

removed quote in serialization

haftmann [Tue, 10 Oct 2006 09:17:20 +0200] rev 20934

added code_abstype

haftmann [Tue, 10 Oct 2006 09:17:19 +0200] rev 20933

added code_constsubst

haftmann [Tue, 10 Oct 2006 09:17:18 +0200] rev 20932

fixed typo

haftmann [Tue, 10 Oct 2006 09:17:17 +0200] rev 20931

added code_abstype and code_constsubst

wenzelm [Mon, 09 Oct 2006 20:12:45 +0200] rev 20930

isabelle-process: options -S, -X;

wenzelm [Mon, 09 Oct 2006 20:12:42 +0200] rev 20929

tuned;

wenzelm [Mon, 09 Oct 2006 19:37:07 +0200] rev 20928

loop: disallow exit in secure mode;

isabelle