2006-10-10 haftmann [Tue, 10 Oct 2006 09:17:18 +0200] rev 20932
fixed typo
src/HOL/simpdata.ML

2006-10-10 haftmann [Tue, 10 Oct 2006 09:17:17 +0200] rev 20931
added code_abstype and code_constsubst
etc/isar-keywords-HOL-Nominal.el etc/isar-keywords-ZF.el etc/isar-keywords.el src/Pure/Tools/codegen_package.ML src/Pure/Tools/codegen_serializer.ML

2006-10-09 wenzelm [Mon, 09 Oct 2006 20:12:45 +0200] rev 20930
isabelle-process: options -S, -X;
doc-src/System/basics.tex

2006-10-09 wenzelm [Mon, 09 Oct 2006 20:12:42 +0200] rev 20929
tuned;
bin/isabelle-process doc-src/IsarImplementation/Thy/document/logic.tex doc-src/IsarImplementation/Thy/logic.thy

2006-10-09 wenzelm [Mon, 09 Oct 2006 19:37:07 +0200] rev 20928
loop: disallow exit in secure mode;
src/Pure/Isar/toplevel.ML

2006-10-09 wenzelm [Mon, 09 Oct 2006 19:37:06 +0200] rev 20927
Secure.commit;
src/Pure/Isar/isar_cmd.ML

2006-10-09 wenzelm [Mon, 09 Oct 2006 19:37:05 +0200] rev 20926
moved Context.ml_output to Output.ml_output;
src/Pure/General/output.ML src/Pure/Thy/thm_database.ML src/Pure/Tools/codegen_serializer.ML src/Pure/codegen.ML src/Pure/context.ML

2006-10-09 wenzelm [Mon, 09 Oct 2006 19:37:04 +0200] rev 20925
Secure critical operations.
src/Pure/General/secure.ML

2006-10-09 wenzelm [Mon, 09 Oct 2006 19:37:03 +0200] rev 20924
added General/secure.ML;
src/Pure/General/ROOT.ML src/Pure/IsaMakefile

2006-10-09 wenzelm [Mon, 09 Oct 2006 19:37:02 +0200] rev 20923
added option -S (secure mode);
bin/isabelle-process