isabelle: Changelog

paulson [Thu, 12 Oct 2006 15:50:43 +0200] rev 20997

Extended combinators now disabled

paulson [Thu, 12 Oct 2006 15:50:16 +0200] rev 20996

abstraction is now turned OFF...

paulson [Thu, 12 Oct 2006 15:48:13 +0200] rev 20995

Logging of theorem names to the /tmp directory now works

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;

isabelle