2012-05-03 wenzelm 2012-05-03 more NEWS;
2012-05-03 wenzelm 2012-05-03 backout 9579464d00f9 to avoid odd crash of polyml-5.2.1 (according to Jasmin, this change is not essential for now);
2012-05-02 wenzelm 2012-05-02 Added tag Isabelle2012-RC1 for changeset ec5d54029664
2012-05-02 wenzelm 2012-05-02 clarified;
2012-05-02 wenzelm 2012-05-02 makedist for release;
2012-05-02 wenzelm 2012-05-02 merged
2012-05-02 wenzelm 2012-05-02 more contributors;
2012-05-02 wenzelm 2012-05-02 tuned latex sources;
2012-05-02 wenzelm 2012-05-02 more CHECKLIST;
2012-05-02 wenzelm 2012-05-02 save 90MB by removing foreign binaries -- multi-platform installations are unlikely on Windows;
2012-05-02 wenzelm 2012-05-02 some re-ordering;
2012-05-02 wenzelm 2012-05-02 some re-ordering;
2012-05-02 wenzelm 2012-05-02 tuned spelling;
2012-05-02 kuncar 2012-05-02 resolved maxidx bug
2012-05-02 kuncar 2012-05-02 documentation of the Lifting package on the ML level & tuned
2012-05-02 huffman 2012-05-02 edit NEWS items for transfer/lifting
2012-05-02 wenzelm 2012-05-02 avoid interference of markup for literal tokens, which may contain slightly odd \<^bsub> \<^esub> counted as pseudo-markup (especially relevant for HTML output, e.g. of thm power3_eq_cube);
2012-05-02 wenzelm 2012-05-02 accomodate scala-2.10.0-M3 with its extra jar; removed redundant SCALA_JARS;
2012-05-02 wenzelm 2012-05-02 more robust wrt. spaces in directory names;
2012-05-02 wenzelm 2012-05-02 updated headers;
2012-05-02 wenzelm 2012-05-02 back to "Tools" in conformance with toplevel Isabelle layout (cf. 3fabf352243e, 15f4309bb9eb);
2012-04-30 blanchet 2012-04-30 export more symbols
2012-04-30 bulwahn 2012-04-30 merged
2012-04-30 bulwahn 2012-04-30 adding configuration to pass options to the ghc call in quickcheck[narrowing]
2012-04-30 Gerwin Klein 2012-04-30 provide [[record_codegen]] option for skipping codegen setup for records
2012-04-30 bulwahn 2012-04-30 making sorted_list_of_set executable
2012-04-30 bulwahn 2012-04-30 removing obsolete setup for sets now that sets are executable
2012-04-30 huffman 2012-04-30 update references in HOLCF README
2012-04-29 wenzelm 2012-04-29 basic setup for self-extracting 7zip installer;
2012-04-29 krauss 2012-04-29 merged
2012-04-29 krauss 2012-04-29 added test case for dependency graph (cf. 2d48bf79b725)
2012-04-29 krauss 2012-04-29 dependency graphs: fixed direction of edges
2012-04-29 wenzelm 2012-04-29 more CHECKLIST;
2012-04-29 wenzelm 2012-04-29 more windows-friendly presentation of main text files;
2012-04-29 blanchet 2012-04-29 split into demo and competitive version
2012-04-29 blanchet 2012-04-29 Sledgehammer can do it
2012-04-29 haftmann 2012-04-29 compact nat literals
2012-04-28 wenzelm 2012-04-28 some re-ordering;
2012-04-28 wenzelm 2012-04-28 some coverage of isabelle env;
2012-04-28 wenzelm 2012-04-28 updated system manual for release;
2012-04-28 wenzelm 2012-04-28 tuned;
2012-04-28 wenzelm 2012-04-28 some coverage of Isabelle/Scala tools;
2012-04-28 wenzelm 2012-04-28 some coverage of Isabelle/jEdit;
2012-04-28 wenzelm 2012-04-28 some manual updates;
2012-04-28 wenzelm 2012-04-28 some updates concerning current Proof General 4.x, which lacks X-Symbol mode of 3.x; removed historic note about Poly/ML vs. SML/NJ;
2012-04-28 huffman 2012-04-28 add isar-ref documentation for transfer package
2012-04-28 haftmann 2012-04-28 less confusion in NEWS
2012-04-28 haftmann 2012-04-28 rhs of abstract code equations are not subject to preprocessing: inline code abbrevs explicitly
2012-04-28 nipkow 2012-04-28 renamed Semi to Seq
2012-04-27 wenzelm 2012-04-27 merged
2012-04-27 wenzelm 2012-04-27 prefer Context_Position.report_generic, which observes is_visible flag and thus reduces number of echos;
2012-04-27 wenzelm 2012-04-27 clarified signature;
2012-04-27 wenzelm 2012-04-27 avoid spurious warning in invisible context, notably Haftmann-Wenzel sandwich;
2012-04-27 wenzelm 2012-04-27 made Context_Position independent from Config;
2012-04-27 blanchet 2012-04-27 use Nitpick as an oracle for finite problems
2012-04-27 blanchet 2012-04-27 add extensionality to first-order provers
2012-04-27 blanchet 2012-04-27 avoid duplicate helpers
2012-04-27 wenzelm 2012-04-27 mention tools and packages earlier;
2012-04-27 wenzelm 2012-04-27 tuned;
2012-04-27 wenzelm 2012-04-27 tuned;