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 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip

made SMLNJ happy
2008-10-09, by haftmann
less tracing;
2008-10-08, by wenzelm
Future.joint_results is already uninterruptible;
2008-10-08, by wenzelm
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

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

isabelle