2010-09-27 blanchet 2010-09-27 rename "Clausifier" to "Meson_Clausifier" and merge with "Meson_Tactic"
2010-09-27 blanchet 2010-09-27 comment out Auto Try until issues are resolved (automatically on by default even though the code says off; thread that continues in the background)
2010-09-27 blanchet 2010-09-27 remove needless flag
2010-09-27 haftmann 2010-09-27 added hint on reference equality
2010-09-27 haftmann 2010-09-27 treat equality on refs and arrays as primitive operation
2010-09-27 haftmann 2010-09-27 corrected OCaml operator precedence
2010-09-27 haftmann 2010-09-27 corrected scope of closure
2010-09-27 haftmann 2010-09-27 merged
2010-09-27 haftmann 2010-09-27 separate quote tag from tt tag
2010-09-24 haftmann 2010-09-24 separate quote tag from tt tag
2010-09-25 blanchet 2010-09-25 make SML/NJ happy
2010-09-27 wenzelm 2010-09-27 some more options to robustify posix_untar;
2010-09-27 wenzelm 2010-09-27 more efficient posix_untar -- avoid really slow java.util.zip.GZIPInputStream; misc tuning;
2010-09-27 wenzelm 2010-09-27 back to UseQuartz=true -- used to be default on Apple Java 1.5;
2010-09-26 wenzelm 2010-09-26 raw_untar.raw_execute with native cwd, to avoid cross-platform complications; more informative treatment of IOException, notably due to broken pipe;
2010-09-26 wenzelm 2010-09-26 added Standard_System.raw_untar;
2010-09-26 wenzelm 2010-09-26 some markup for inner syntax tokens;
2010-09-26 wenzelm 2010-09-26 tuned signatures and messages;
2010-09-25 wenzelm 2010-09-25 Session_Dockable: more startup controls;
2010-09-25 wenzelm 2010-09-25 simplified / clarified Session.Phase;
2010-09-25 wenzelm 2010-09-25 more precise treatment of backgrounds vs. rectangles;
2010-09-25 wenzelm 2010-09-25 tuned mk_fifo;
2010-09-25 wenzelm 2010-09-25 tuned signature;
2010-09-24 wenzelm 2010-09-24 tuned border;
2010-09-24 wenzelm 2010-09-24 more informative Session.Phase;
2010-09-24 wenzelm 2010-09-24 merged
2010-09-24 haftmann 2010-09-24 merged
2010-09-24 haftmann 2010-09-24 tuned schema table
2010-09-24 wenzelm 2010-09-24 tuned warning_color;
2010-09-24 wenzelm 2010-09-24 tuned error_color;
2010-09-24 wenzelm 2010-09-24 some attempts to improve visual appearance of bad text;
2010-09-24 wenzelm 2010-09-24 clarified @{type} antiquotation: abbreviations and nonterminals count as "syntactic", disallow TFrees; tuned;
2010-09-24 wenzelm 2010-09-24 updated generated file;
2010-09-24 wenzelm 2010-09-24 modernized structure Ord_List;
2010-09-24 wenzelm 2010-09-24 isatest: indicate Isabelle version;
2010-09-24 wenzelm 2010-09-24 actually handle Type.TYPE_MATCH, not arbitrary exceptions;
2010-09-24 wenzelm 2010-09-24 merged
2010-09-24 haftmann 2010-09-24 prefer typewrite tag over raw latex environment
2010-09-24 haftmann 2010-09-24 avoid fragile tranclp syntax; corrected resolution; corrected typo
2010-09-24 wenzelm 2010-09-24 merged
2010-09-24 haftmann 2010-09-24 use typewriter tag instead of bare environment
2010-09-24 haftmann 2010-09-24 dropped dead code
2010-09-24 haftmann 2010-09-24 always add trailing newline for presentation
2010-09-24 haftmann 2010-09-24 corrected omission
2010-09-24 haftmann 2010-09-24 fixed small font size fore typewriter text
2010-09-24 haftmann 2010-09-24 merged
2010-09-24 haftmann 2010-09-24 load theory explicitly
2010-09-24 blanchet 2010-09-24 merge
2010-09-24 blanchet 2010-09-24 make SML/NJ happier -- temporary solution until Metis is fixed upstream
2010-09-24 bulwahn 2010-09-24 merged
2010-09-24 bulwahn 2010-09-24 being a little less strict than in 2e06dad03dd3
2010-09-24 Cezary Kaliszyk 2010-09-24 quotient package: respectfulness and preservation of identity.
2010-09-23 haftmann 2010-09-23 merged
2010-09-23 haftmann 2010-09-23 merged
2010-09-23 haftmann 2010-09-23 removed superfluous output_typewriter from cs 65064e8f269
2010-09-23 haftmann 2010-09-23 more idiomatic handling of latex typewriter type setting
2010-09-23 haftmann 2010-09-23 more canonical type setting of type writer code examples
2010-09-23 haftmann 2010-09-23 resynchronize isabelle.sty
2010-09-23 haftmann 2010-09-23 reverted cs 5aced2f43837 -- no need for hardwired latex command here
2010-09-23 haftmann 2010-09-23 reverted cs 07549694e2f1 -- use re-printing with current print mode instead after code assembly, avoid Latex.output_typewriter