isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

shortened more multiset proofs
2012-05-29, by huffman
shortened some proofs
2012-05-29, by huffman
use transfer method for instance proof
2012-05-29, by huffman
tweaked remote Vampire setup
2012-05-28, by blanchet
update docs
2012-05-28, by blanchet
killed SPASS 3.5/3.7 FLOTTER hack -- requires users to upgrade to SPASS 3.8
2012-05-28, by blanchet
don't generate definitions for LEO-II -- this cuases more harm than good
2012-05-28, by blanchet
dropped sort constraints on datatype specifications
2012-05-28, by haftmann
potentially more convincing kill -TERM of feeder (cf. 32c03d45fffe) -- attempt to workaround spurious perl "hangs" on lxbroy10;
2012-05-25, by wenzelm
tuned proofs;
2012-05-25, by wenzelm
further attempts to simplify/robustify Swing_Thread.now, to avoid spurious physical race conditions on Java 6 / Mac OS X;
2012-05-25, by wenzelm
ignore empty messages even on tty, e.g. relevant for Isabelle_System.bash_output err output;
2012-05-25, by wenzelm
discontinued obsolete Cygwin module;
2012-05-24, by wenzelm
eliminated unused Cygwin download;
2012-05-24, by wenzelm
simplified Cygwin root: warm start via env, cold start via property, no registry magic;
2012-05-24, by wenzelm

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

isabelle