isabelle: Changelog

wenzelm [Thu, 12 Oct 2006 14:07:48 +0200] rev 20991

added x86-darwin;

haftmann [Thu, 12 Oct 2006 08:25:04 +0200] rev 20990

now allowing subdirectories in Doc/

haftmann [Thu, 12 Oct 2006 08:10:23 +0200] rev 20989

added makefile layer

wenzelm [Wed, 11 Oct 2006 22:59:36 +0200] rev 20988

* isabelle-process: option -S (secure mode) disables some critical operations;

wenzelm [Wed, 11 Oct 2006 22:56:10 +0200] rev 20987

increased heap size for polyml-4.9.1;

wenzelm [Wed, 11 Oct 2006 22:55:23 +0200] rev 20986

tuned Toplevel.begin_local_theory;

wenzelm [Wed, 11 Oct 2006 22:55:22 +0200] rev 20985

exit_local_theory: pass interactive flag; begin_local_theory: generic init;

wenzelm [Wed, 11 Oct 2006 22:55:21 +0200] rev 20984

exit: pass interactive flag; moved exit to local_theory.ML; tuned pretty;

wenzelm [Wed, 11 Oct 2006 22:55:20 +0200] rev 20983

added begin parser;

wenzelm [Wed, 11 Oct 2006 22:55:19 +0200] rev 20982

is_sid: disallow 'begin' keyword as identifier;

isabelle