isabelle: Changelog

wenzelm [Thu, 12 Oct 2006 15:00:07 +0200] rev 20994

cc: avoid space after options;

wenzelm [Thu, 12 Oct 2006 14:26:16 +0200] rev 20993

set DYLD_LIBRARY_PATH (for Darwin);

wenzelm [Thu, 12 Oct 2006 14:14:11 +0200] rev 20992

added execute/system;

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;

isabelle