2009-11-24 haftmann 2009-11-24 backported parts of abstract byte code verifier from AFP/Jinja
2009-12-04 wenzelm 2009-12-04 added document_node; tuned comments;
2009-12-04 wenzelm 2009-12-04 document init_component shell function;
2009-12-04 wenzelm 2009-12-04 back to after-release mode;
2009-12-04 wenzelm 2009-12-04 back to main repository;
2009-12-04 wenzelm 2009-12-04 merged
2009-12-04 haftmann 2009-12-04 merged
2009-12-04 haftmann 2009-12-04 added Crude_Executable_Set
2009-12-04 nipkow 2009-12-04 removed redundant lemma
2009-12-04 nipkow 2009-12-04 added remdups_filter lemma
2009-12-02 haftmann 2009-12-02 merged
2009-12-02 haftmann 2009-12-02 subst_signatures
2009-12-02 haftmann 2009-12-02 tuned
2009-12-02 haftmann 2009-12-02 exported build_tsig
2009-12-02 haftmann 2009-12-02 crude support for type aliasses and corresponding constant signatures
2009-12-02 haftmann 2009-12-02 generalized some lemmas
2009-12-02 haftmann 2009-12-02 added Crude_Executable_Set.thy
2009-12-01 webertj 2009-12-01 read_dimacs_cnf_file can now read DIMACS files that contain successive white-space characters.
2009-11-29 kleing 2009-11-29 Expand nested abbreviations before applying dummy patterns.
2009-11-27 berghofe 2009-11-27 Removed eq_to_mono2, added not_mono.
2009-11-27 berghofe 2009-11-27 Streamlined setup for monotonicity rules (no longer requires classical rules).
2009-11-27 berghofe 2009-11-27 Simplified treatment of monotonicity rules.
2009-12-03 wenzelm 2009-12-03 removed obsolete test tags;
2009-12-03 wenzelm 2009-12-03 Added tag Isabelle2009-1 for changeset 6a973bd43949
2009-12-02 wenzelm 2009-12-02 slightly less ambitious settings, to avoid potential out-of-memory problem; Isabelle2009-1
2009-11-30 wenzelm 2009-11-30 even higher proof-shell-quit-timeout -- saving main HOL takes 20s on a *fast* machine;
2009-11-30 wenzelm 2009-11-30 updated date;
2009-11-30 wenzelm 2009-11-30 more robust treatment of spaces in directory names;
2009-11-30 bulwahn 2009-11-30 adding subsection about the predicate compiler to the code generator tutorial
2009-11-29 wenzelm 2009-11-29 Added tag isa2009-1-test for changeset e1c262952b02
2009-11-29 wenzelm 2009-11-29 updated date;
2009-11-29 kleing 2009-11-29 Expand nested abbreviations before applying dummy patterns.
2009-11-29 wenzelm 2009-11-29 raised proof-shell-quit-timeout to accomodate bulky write-back images;
2009-11-29 wenzelm 2009-11-29 deactivated default for E_HOME, SPASS_HOME -- now configured as components; deactivated default for VAMPIRE_HOME -- superceded by remote_vampire;
2009-11-29 wenzelm 2009-11-29 double check file permissions of write-back image -- more robust for root or administrator on Cygwin;
2009-11-29 wenzelm 2009-11-29 tuned message;
2009-11-29 wenzelm 2009-11-29 added HOLCF image;
2009-11-28 wenzelm 2009-11-28 workaround for strange compiler crash of Poly/ML 5.0 and 5.1 at this point http://isabelle.in.tum.de/repos/isabelle/file/a2fc533175ff/src/HOL/Tools/Nitpick/nitpick_nut.ML#l997
2009-11-28 wenzelm 2009-11-28 updated generated files;
2009-11-28 wenzelm 2009-11-28 proper quoting of array expansion -- allow spaces in components;
2009-11-28 wenzelm 2009-11-28 added "sos"; added subgoal focus;
2009-11-28 wenzelm 2009-11-28 PG version 3.7.1.1;
2009-11-28 wenzelm 2009-11-28 allow spaces within PROOFGENERAL_EMACS;
2009-11-28 wenzelm 2009-11-28 allow spaces within command-line arguments;
2009-11-27 wenzelm 2009-11-27 proper quotes;
2009-11-27 wenzelm 2009-11-27 more abstract handling of repository name;
2009-11-27 wenzelm 2009-11-27 more menu entries -- backport from PG 4.0 branch;
2009-11-27 wenzelm 2009-11-27 re-package Isabelle distribution with add-on components;
2009-11-26 Philipp Meyer 2009-11-26 fixed csdp output parser
2009-11-26 wenzelm 2009-11-26 additional menu entries;
2009-11-26 wenzelm 2009-11-26 Added tag isa2009-1-test for changeset 14ff44e21bec
2009-11-26 wenzelm 2009-11-26 adhoc delay after font installation -- increases chance that Emacs will actually see them;
2009-11-26 wenzelm 2009-11-26 implicit font installation for Mac OS;
2009-11-26 wenzelm 2009-11-26 modernized interface script for PG 3.7.1 -- backport from PG 4.0 branch;
2009-11-26 wenzelm 2009-11-26 patch for the infamous antiquotation font-lock problem of Proof General 3.7.1 with GNU Emacs, cf. http://proofgeneral.inf.ed.ac.uk/trac/ticket/236
2009-11-25 wenzelm 2009-11-25 refer to isabelle-release branch;
2009-11-25 wenzelm 2009-11-25 include HOL-SMT keywords;
2009-11-25 wenzelm 2009-11-25 tuned affiliation;
2009-11-25 boehmes 2009-11-25 extended list of HOL-Boogie contributors
2009-11-25 boehmes 2009-11-25 only add nat/int conversion rules if necessary