2011-10-14 wenzelm 2011-10-14 more complete stats, including small sessions which provide some clues on main HOL baseline performance;
2011-10-13 haftmann 2011-10-13 avoid very specific code equation for card; corrected spelling
2011-10-13 haftmann 2011-10-13 bouned transitive closure
2011-10-13 haftmann 2011-10-13 moved acyclic predicate up in hierarchy
2011-10-13 haftmann 2011-10-13 tuned
2011-10-13 haftmann 2011-10-13 modernized definitions
2011-10-13 wenzelm 2011-10-13 static dummy_task (again) to avoid a few extra allocations;
2011-10-13 noschinl 2011-10-13 tuned markup
2011-10-13 wenzelm 2011-10-13 discontinued obsolete 'types' command;
2011-10-12 wenzelm 2011-10-12 modernized structure Induct_Tacs;
2011-10-12 wenzelm 2011-10-12 tuned signature;
2011-10-12 wenzelm 2011-10-12 misc tuning and clarification;
2011-10-12 wenzelm 2011-10-12 tuned ML style;
2011-10-12 wenzelm 2011-10-12 tuned proofs -- eliminated vacuous "induct arbitrary: ..." situations;
2011-10-12 wenzelm 2011-10-12 discontinued obsolete alias structure ProofContext;
2011-10-12 nipkow 2011-10-12 separated monotonicity reasoning and defined narrowing with while_option
2011-10-10 wenzelm 2011-10-10 include no-smlnj targets into library (cf. e54a985daa61);
2011-10-10 bulwahn 2011-10-10 increasing values_timeout to avoid SML_makeall failures on our current tests
2011-10-10 wenzelm 2011-10-10 merged
2011-10-10 wenzelm 2011-10-10 removed obsolete RC tags;
2011-10-09 huffman 2011-10-09 Int.thy: discontinued some legacy theorems
2011-10-09 huffman 2011-10-09 Set.thy: remove redundant [simp] declarations
2011-10-03 bulwahn 2011-10-03 removing code equation for card on finite types when loading the Executable_Set theory; should resolve a code generation issue with CoreC++
2011-10-03 bulwahn 2011-10-03 tune text for document generation
2011-10-03 bulwahn 2011-10-03 adding examples with relations to Quickcheck_Examples to show that quickcheck can actually handle operators on relations as well
2011-10-03 bulwahn 2011-10-03 adding code equations for cardinality and (reflexive) transitive closure on finite types
2011-10-03 bulwahn 2011-10-03 adding lemma about rel_pow in Transitive_Closure for executable equation of the (refl) transitive closure
2011-10-03 bulwahn 2011-10-03 adding lemma to List library for executable equation of the (refl) transitive closure
2011-09-29 Jean Pichon 2011-09-29 fixed typos in IMP
2011-09-28 nipkow 2011-09-28 added nice interval syntax
2011-09-28 nipkow 2011-09-28 Added dependecies
2011-09-28 nipkow 2011-09-28 Added Hoare-like Abstract Interpretation
2011-09-28 nipkow 2011-09-28 moved IMP/AbsInt stuff into subdirectory Abs_Int_Den
2011-09-26 wenzelm 2011-09-26 back to post-release mode;
2011-10-09 wenzelm 2011-10-09 Added tag Isabelle2011-1 for changeset 76fef3e57004
2011-10-09 wenzelm 2011-10-09 tuned; Isabelle2011-1
2011-10-09 wenzelm 2011-10-09 updated ISABELLE_HOME_USER;
2011-10-04 wenzelm 2011-10-04 more explicit check of Java executable -- relevant for Linux x86/x86_64 mismatch and absence on Mac OS Lion;
2011-10-03 wenzelm 2011-10-03 Added tag Isabelle2011-1-RC2 for changeset a45121ffcfcb
2011-10-03 wenzelm 2011-10-03 some amendments due to Jean Pichon;
2011-09-29 traytel 2011-09-29 correct coercion generation in case of unknown map functions
2011-09-28 wenzelm 2011-09-28 proper platform_file_url for Windows UNC paths (server shares);
2011-09-27 wenzelm 2011-09-27 proper platform_file_url;
2011-09-27 wenzelm 2011-09-27 observe base URL of rendered document; added PIDE logo;
2011-09-27 wenzelm 2011-09-27 more README;
2011-09-27 wenzelm 2011-09-27 tuned README.html;
2011-09-27 wenzelm 2011-09-27 tuned;
2011-09-27 wenzelm 2011-09-27 retain output, which is required for non-existent JRE, for example (cf. b455e4f42c04);
2011-09-27 wenzelm 2011-09-27 tuned message, which is displayed after termination of Isabelle.app on Mac OS;
2011-09-26 wenzelm 2011-09-26 keep top-level "Isabelle" executable -- now an alias for "isabelle jedit";
2011-09-26 wenzelm 2011-09-26 tuned;
2011-09-26 wenzelm 2011-09-26 ensure Isabelle env;
2011-09-26 wenzelm 2011-09-26 Added tag Isabelle2011-1-RC1 for changeset 24ad77c3a147
2011-09-26 wenzelm 2011-09-26 tuned;
2011-09-26 wenzelm 2011-09-26 misc tuning for release;
2011-09-26 wenzelm 2011-09-26 reverted 09cdc4209d25 for formal reasons: it did not say what was "broken" nor "fixed", but broke IsaMakefile dependencies;
2011-09-26 wenzelm 2011-09-26 makedist for release;
2011-09-26 blanchet 2011-09-26 put MiniSat back first -- Torlak's eval seemed to suggest that Crypto and Lingeling were better, but Crypto is slower on "Nitpick_Examples" and Crypto crashes
2011-09-26 blanchet 2011-09-26 require Java 1.6 in the Nitpick documentation -- technically 1.5 will also work with Kodkodi 1.2.16, but it won't work with Kodkodi 1.5.0
2011-09-26 blanchet 2011-09-26 put CryptoMiniSat first and remove warning about unsoundness now that it has been fixed in Kodkod