2013-05-22 ago wenzelm explicit management of Session.Protocol_Handlers, with protocol state and functions;
2013-05-22 ago smolkas prevent pretty printer from automatically annotating numerals
2013-05-22 ago smolkas tuned
2013-05-22 ago nipkow simplified example and proof
2013-05-22 ago nipkow tuned
2013-05-21 ago wenzelm tuned messages;
2013-05-21 ago wenzelm proper options;
2013-05-21 ago wenzelm proper options;
2013-05-21 ago wenzelm more markup;
2013-05-21 ago wenzelm tuned;
2013-05-21 ago wenzelm less intrusive rendering of antiquoted text -- avoid visual clash with "blue variables" in particular;
2013-05-21 ago wenzelm proper context;
2013-05-21 ago wenzelm make SML/NJ happy;
2013-05-21 ago blanchet added CASC-related files, to keep a public record of the Isabelle submission at the competition
2013-05-21 ago blanchet disabled choice in Satallax
2013-05-21 ago blanchet use HOL-TPTP image in TPTP tools (for less verbose and faster startup) and filter out some messages
2013-05-21 ago blanchet prefer compiled version of LEO-II and Satallax if available
2013-05-21 ago blanchet updated remote provers
2013-05-21 ago blanchet added compatibility alias
2013-05-20 ago wenzelm merged
2013-05-20 ago wenzelm more rigorous check of simplifier context;
2013-05-20 ago wenzelm proper context;
2013-05-20 ago wenzelm proper context;
2013-05-20 ago wenzelm proper run-time context;
2013-05-20 ago wenzelm more precise treatment of theory vs. Proof.context;
2013-05-20 ago wenzelm proper run-time context;
2013-05-20 ago wenzelm tuned;
2013-05-20 ago wenzelm more explicit Session.update_options as source of Global_Options event;
2013-05-20 ago wenzelm even later Options.reset_default -- still needed for printing errors of Session.finish (e.g. via Command_Line.tool0);
2013-05-20 ago wenzelm tuned;
2013-05-20 ago wenzelm discontinued odd workaround for scala-2.9.2, which is hopefully obsolete in scala-2.10.x;
2013-05-20 ago wenzelm reset options last -- other parts of the system may still need them;
2013-05-20 ago wenzelm tuned signature;
2013-05-20 ago blanchet updated Sledgehammer docs
2013-05-20 ago blanchet parse agsyHOL proofs (as unsat cores)
2013-05-20 ago blanchet freeze types in Sledgehammer goal, not just terms
2013-05-20 ago blanchet generate agsyHOL-friendly THF (to some extent -- partial application of connectives remains an issue)
2013-05-20 ago blanchet tuned code
2013-05-20 ago blanchet started adding agsyHOL as an experimental prover
2013-05-20 ago nipkow defined lvars and rvars of commands separately.
2013-05-19 ago blanchet made "completish" mode a bit more complete
2013-05-19 ago haftmann infrastructure for generic data for code symbols (constants, type constructors, classes, instances)
2013-05-19 ago haftmann tuned and clarified
2013-05-19 ago haftmann tuned, including signature
2013-05-18 ago wenzelm discontinued odd workaround for scala-2.10.0-RC1;
2013-05-18 ago wenzelm discontinued odd workaround for scala-2.9.2, which is hopefully obsolete in scala-2.10.x;
2013-05-18 ago wenzelm explicit notion of public options, which are shown in the editor options dialog;
2013-05-17 ago wenzelm back to more paranoid interrupt test after request is cancelled -- avoid race condition;
2013-05-17 ago wenzelm timeout counts as regular error, with rc = 1 (cf. special Exn.Interrupt vs. regular TimeLimit.TimeOut in Isabelle/ML);
2013-05-17 ago wenzelm added isabelle tty option -o;
2013-05-17 ago wenzelm oops;
2013-05-17 ago wenzelm renamed 'print_configs' to 'print_options';
2013-05-17 ago wenzelm proper option quick_and_dirty;
2013-05-17 ago wenzelm retain quick_and_dirty as-is -- no censorship;
2013-05-17 ago wenzelm more system-atic options;
2013-05-17 ago wenzelm added isabelle-process option -o;
2013-05-17 ago wenzelm more precise "eval", cf. isabelle build;
2013-05-17 ago wenzelm discontinued obsolete isabelle-process options -f and -u;
2013-05-17 ago wenzelm NEWS;
2013-05-17 ago wenzelm discontinued obsolete isabelle usedir, mkdir, make;