2012-05-20 wenzelm 2012-05-20 try to avoid races again (cf. 8c37cb84065f and fd3a36e48b09); Isabelle2012
2012-05-17 wenzelm 2012-05-17 Added tag Isabelle2012-RC3 for changeset ed5f56b8f90a
2012-05-17 wenzelm 2012-05-17 some message;
2012-05-17 wenzelm 2012-05-17 tuned error -- reduce potential for confusion in a higher-level context, e.g. partial checking of theory sub-graph;
2012-05-11 berghofe 2012-05-11 Fixed disambiguation of names (cf. 5759ecd5c905)
2012-05-10 wenzelm 2012-05-10 merged
2012-05-10 wenzelm 2012-05-10 file.encoding=UTF-8 for java.ext.dirs, to agree with java runtime invocation;
2012-05-10 wenzelm 2012-05-10 prefer absolute paths, to allow launching from a different context (e.g. via file associations);
2012-05-10 wenzelm 2012-05-10 tweaked Inductive.prove_eqs to allow degenerate definition like "inductive TRUE where TRUE";
2012-05-09 wenzelm 2012-05-09 allow spaces in target directory;
2012-05-07 wenzelm 2012-05-07 Added tag Isabelle2012-RC2 for changeset 1636ff4c6243
2012-05-07 wenzelm 2012-05-07 init Cygwin after unpacking;
2012-05-06 wenzelm 2012-05-06 tuned proofs;
2012-05-06 wenzelm 2012-05-06 more accurate ROOT.ML;
2012-05-06 wenzelm 2012-05-06 prefer http://isabelle.in.tum.de/library alias, which is available at TUM only;
2012-05-05 wenzelm 2012-05-05 some highlights of Isabelle2012;
2012-05-04 wenzelm 2012-05-04 refrain from SIGHUP handling (cf. 5f629ee2502b), which does not work on Cygwin and appears to be redundant anyway (no extra output produced within pipe);
2012-05-04 wenzelm 2012-05-04 some attempts to make critical errors fit on screen;
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;