2006-10-12 agoLogging of theorem names to the /tmp directory now works
paulson [Thu, 12 Oct 2006 15:48:13 +0200] rev 20995
Logging of theorem names to the /tmp directory now works

2006-10-12 agocc: avoid space after options;
wenzelm [Thu, 12 Oct 2006 15:00:07 +0200] rev 20994
cc: avoid space after options;

2006-10-12 agoset DYLD_LIBRARY_PATH (for Darwin);
wenzelm [Thu, 12 Oct 2006 14:26:16 +0200] rev 20993
set DYLD_LIBRARY_PATH (for Darwin);

2006-10-12 agoadded execute/system;
wenzelm [Thu, 12 Oct 2006 14:14:11 +0200] rev 20992
added execute/system;

2006-10-12 agoadded x86-darwin;
wenzelm [Thu, 12 Oct 2006 14:07:48 +0200] rev 20991
added x86-darwin;

2006-10-12 agonow allowing subdirectories in Doc/
haftmann [Thu, 12 Oct 2006 08:25:04 +0200] rev 20990
now allowing subdirectories in Doc/

2006-10-12 agoadded makefile layer
haftmann [Thu, 12 Oct 2006 08:10:23 +0200] rev 20989
added makefile layer

2006-10-11 ago* isabelle-process: option -S (secure mode) disables some critical operations;
wenzelm [Wed, 11 Oct 2006 22:59:36 +0200] rev 20988
* isabelle-process: option -S (secure mode) disables some critical operations;

2006-10-11 agoincreased heap size for polyml-4.9.1;
wenzelm [Wed, 11 Oct 2006 22:56:10 +0200] rev 20987
increased heap size for polyml-4.9.1;

2006-10-11 agotuned Toplevel.begin_local_theory;
wenzelm [Wed, 11 Oct 2006 22:55:23 +0200] rev 20986
tuned Toplevel.begin_local_theory;