isabelle: Changelog

wenzelm [Mon, 30 Nov 2009 17:13:12 +0100] rev 33927

more robust treatment of spaces in directory names;

bulwahn [Mon, 30 Nov 2009 08:44:08 +0100] rev 33926

adding subsection about the predicate compiler to the code generator tutorial

wenzelm [Sun, 29 Nov 2009 20:23:03 +0100] rev 33925

Added tag isa2009-1-test for changeset e1c262952b02

wenzelm [Sun, 29 Nov 2009 20:20:22 +0100] rev 33924

updated date;

kleing [Sun, 29 Nov 2009 12:56:30 +1100] rev 33923

Expand nested abbreviations before applying dummy patterns.

wenzelm [Sun, 29 Nov 2009 17:44:44 +0100] rev 33922

raised proof-shell-quit-timeout to accomodate bulky write-back images;

wenzelm [Sun, 29 Nov 2009 17:34:41 +0100] rev 33921

deactivated default for E_HOME, SPASS_HOME -- now configured as components; deactivated default for VAMPIRE_HOME -- superceded by remote_vampire;

isabelle