isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip

more careful handling of group interrupts;
2008-10-08, by wenzelm
use polyml-cvs, which fixes a serious deadlock problem of Poly/ML runtime vs. GC;
2008-10-08, by wenzelm
added HOL-Main;
2008-10-08, by wenzelm
setmp_noncritical makes it work with future scheduler;
2008-10-08, by wenzelm
The result of the equality inference rule no longer undergoes factoring.
2008-10-08, by paulson
make the test for experimental sessions in isatest-check actually work
2008-10-08, by kleing
leave a log message when no snapshot is generated
2008-10-08, by kleing
clarified preprocessor policies
2008-10-07, by haftmann
arbitrary is undefined
2008-10-07, by haftmann
tuned whitespace
2008-10-07, by haftmann
only one theorem table for both code generators
2008-10-07, by haftmann
proper default codegen attribute
2008-10-07, by haftmann
tuned code setup
2008-10-07, by haftmann
code generator more liberal with respect to sort constraints of instance parameters
2008-10-07, by haftmann
more Isar for example
2008-10-07, by haftmann
tuned funpow code generation
2008-10-07, by haftmann
tuned min/max code generation
2008-10-07, by haftmann
dropped superfluous if
2008-10-07, by haftmann
tuned of_nat code generation
2008-10-07, by haftmann
re-introduces axiom subst
2008-10-07, by haftmann
corrected SML undefined
2008-10-07, by haftmann
updated to official version as of 07-Oct-2008;
2008-10-07, by wenzelm
fold_lines: more tuning, avoiding extra split_last;
2008-10-06, by wenzelm
extra check of PROOFGENERAL_HOME;
2008-10-06, by wenzelm
needs -b option for isabelle getenv
2008-10-05, by kleing
updated generated file;
2008-10-04, by wenzelm
tuned isabelle usage;
2008-10-04, by wenzelm
updated generated file;
2008-10-04, by wenzelm
simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
2008-10-04, by wenzelm
updated generated file;
2008-10-04, by wenzelm
replaced ISABELLE by ISABELLE_PROCESS;
2008-10-04, by wenzelm
ISABELLE_PROCESS commandline;
2008-10-04, by wenzelm
replaced ISATOOL by ISABELLE_TOOL;
2008-10-04, by wenzelm
ISABELLE_PROCESS replaces ISABELLE and ISABELLE_TOOL replaces ISATOOL -- old bindings stay for a while (legacy feature);
2008-10-04, by wenzelm
eliminated prompt messages;
2008-10-04, by wenzelm
added isabelle_tool version as basic integrity check of platform/distribution;
2008-10-04, by wenzelm
renamed isatool to isabelle_tool in programming interfaces;
2008-10-04, by wenzelm
Theory header keywords.
2008-10-04, by wenzelm
added Thy/thy_header.scala;
2008-10-04, by wenzelm
tuned quotes;
2008-10-03, by wenzelm
factor: proper padding of digits;
2008-10-03, by wenzelm
plain process_id function;
2008-10-03, by wenzelm
removed obsolete Posix/Signal compatibility wrappers;
2008-10-03, by wenzelm
removed obsolete Posix/Signal compatibility wrappers;
2008-10-03, by wenzelm
removed obsolete Posix/Signal compatibility wrappers;
2008-10-03, by wenzelm
do not handle Error (which matches arbitrary exceptions!), but ERROR _;
2008-10-03, by wenzelm
updated to new AtpManager;
2008-10-03, by wenzelm
operate on Proof.state, not Toplevel.state;
2008-10-03, by wenzelm
misc simplifcation and tuning;
2008-10-03, by wenzelm
perform atp_setups here;
2008-10-03, by wenzelm
updated generated file;
2008-10-03, by wenzelm
removed HOL-Plain -- already included in HOL;
2008-10-03, by wenzelm
removed spurious ResAtp.set_prover;
2008-10-03, by wenzelm
simplified thread creation via SimpleThread;
2008-10-03, by wenzelm
simplified thread creation via SimpleThread;
2008-10-03, by wenzelm
version of sledgehammer using threads instead of processes, misc cleanup;
2008-10-03, by wenzelm
removed old/unused setup of raw ATP oracles;
2008-10-03, by wenzelm
tuned;
2008-10-03, by wenzelm
Vampire wrapper script for remote SystemOnTPTP service (by Fabian Immler);
2008-10-03, by wenzelm
added PROOFGENERAL_EMACS, with attempt to find Carbon Emacs;
2008-10-03, by wenzelm

less more | (0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle