2011-10-17 ago wenzelm always use sockets on Windows/Cygwin;
2011-10-16 ago krauss mira configuration: use official polyml 5.4.1 on lxbroy10
2011-10-16 ago wenzelm added Term.dummy_pattern conveniences;
2011-10-16 ago wenzelm slightly more standard-conformant XML parsing (see also 94033767ef9b);
2011-10-16 ago haftmann tuned proof
2011-10-16 ago haftmann tuned type annnotation
2011-10-16 ago haftmann hide not_member as also member
2011-10-15 ago wenzelm misc tuning and modernization;
2011-10-15 ago wenzelm updated to Scala 2.8.2.final;
2011-10-15 ago wenzelm prefer recent polyml-5.4.1, but retain potentially fragile polyml-5.2.1 as experimental test;
2011-10-15 ago wenzelm updated to polyml-5.4.1;
2011-10-15 ago wenzelm updated to polyml-5.4.1;
2011-10-15 ago haftmann merged
2011-10-14 ago haftmann monadic bind
2011-10-14 ago haftmann moved sublists to More_List.thy
2011-10-14 ago haftmann NEWS
2011-10-14 ago wenzelm more complete stats, including small sessions which provide some clues on main HOL baseline performance;
2011-10-13 ago haftmann avoid very specific code equation for card; corrected spelling
2011-10-13 ago haftmann bouned transitive closure
2011-10-13 ago haftmann moved acyclic predicate up in hierarchy
2011-10-13 ago haftmann tuned
2011-10-13 ago haftmann modernized definitions
2011-10-13 ago wenzelm static dummy_task (again) to avoid a few extra allocations;
2011-10-13 ago noschinl tuned markup
2011-10-13 ago wenzelm discontinued obsolete 'types' command;
2011-10-12 ago wenzelm modernized structure Induct_Tacs;
2011-10-12 ago wenzelm tuned signature;
2011-10-12 ago wenzelm misc tuning and clarification;
2011-10-12 ago wenzelm tuned ML style;
2011-10-12 ago wenzelm tuned proofs -- eliminated vacuous "induct arbitrary: ..." situations;
2011-10-12 ago wenzelm discontinued obsolete alias structure ProofContext;
2011-10-12 ago nipkow separated monotonicity reasoning and defined narrowing with while_option
2011-10-10 ago wenzelm include no-smlnj targets into library (cf. e54a985daa61);
2011-10-10 ago bulwahn increasing values_timeout to avoid SML_makeall failures on our current tests
2011-10-10 ago wenzelm merged
2011-10-10 ago wenzelm removed obsolete RC tags;
2011-10-09 ago huffman Int.thy: discontinued some legacy theorems
2011-10-09 ago huffman Set.thy: remove redundant [simp] declarations
2011-10-03 ago bulwahn 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 ago bulwahn tune text for document generation
2011-10-03 ago bulwahn adding examples with relations to Quickcheck_Examples to show that quickcheck can actually handle operators on relations as well
2011-10-03 ago bulwahn adding code equations for cardinality and (reflexive) transitive closure on finite types
2011-10-03 ago bulwahn adding lemma about rel_pow in Transitive_Closure for executable equation of the (refl) transitive closure
2011-10-03 ago bulwahn adding lemma to List library for executable equation of the (refl) transitive closure
2011-09-29 ago Jean Pichon fixed typos in IMP
2011-09-28 ago nipkow added nice interval syntax
2011-09-28 ago nipkow Added dependecies
2011-09-28 ago nipkow Added Hoare-like Abstract Interpretation
2011-09-28 ago nipkow moved IMP/AbsInt stuff into subdirectory Abs_Int_Den
2011-09-26 ago wenzelm back to post-release mode;
2011-10-09 ago wenzelm Added tag Isabelle2011-1 for changeset 76fef3e57004
2011-10-09 ago wenzelm tuned; Isabelle2011-1
2011-10-09 ago wenzelm updated ISABELLE_HOME_USER;
2011-10-04 ago wenzelm more explicit check of Java executable -- relevant for Linux x86/x86_64 mismatch and absence on Mac OS Lion;
2011-10-03 ago wenzelm Added tag Isabelle2011-1-RC2 for changeset a45121ffcfcb
2011-10-03 ago wenzelm some amendments due to Jean Pichon;
2011-09-29 ago traytel correct coercion generation in case of unknown map functions
2011-09-28 ago wenzelm proper platform_file_url for Windows UNC paths (server shares);
2011-09-27 ago wenzelm proper platform_file_url;
2011-09-27 ago wenzelm observe base URL of rendered document;