isabelle: Changelog

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;

wenzelm [Mon, 09 Oct 2006 19:37:06 +0200] rev 20927

Secure.commit;

wenzelm [Mon, 09 Oct 2006 19:37:05 +0200] rev 20926

moved Context.ml_output to Output.ml_output;

wenzelm [Mon, 09 Oct 2006 19:37:04 +0200] rev 20925

Secure critical operations.

wenzelm [Mon, 09 Oct 2006 19:37:03 +0200] rev 20924

added General/secure.ML;

wenzelm [Mon, 09 Oct 2006 19:37:02 +0200] rev 20923

added option -S (secure mode);

isabelle