Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -12 +12 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
Mon, 06 Jun 2011 20:36:34 +0200 blanchet ensured that the logic for "explicit_apply = smart" also works on CNF (i.e. new Metis) changeset | files
Mon, 06 Jun 2011 20:36:34 +0200 blanchet show what failed to play changeset | files
Mon, 06 Jun 2011 20:36:34 +0200 blanchet refined auto minimization code: don't use Metis if Isar proofs are desired, and fall back on prover if Metis is too slow changeset | files
Mon, 06 Jun 2011 20:36:34 +0200 blanchet tuning changeset | files
Mon, 06 Jun 2011 20:36:34 +0200 blanchet killed odd connectives changeset | files
Mon, 06 Jun 2011 20:36:34 +0200 blanchet added Metis examples to test the new type encodings changeset | files
Mon, 06 Jun 2011 20:36:34 +0200 blanchet tuned CASC method changeset | files
Mon, 06 Jun 2011 20:36:34 +0200 blanchet clean up unnecessary machinery -- helpers work also with monomorphic type encodings changeset | files
Mon, 06 Jun 2011 20:36:34 +0200 blanchet added support for helpers in new Metis, so far only for polymorphic type encodings changeset | files
Mon, 06 Jun 2011 16:29:38 +0200 kleing imported rest of new IMP changeset | files
Mon, 06 Jun 2011 16:29:13 +0200 kleing atLeastAtMostSuc_conv on int changeset | files
Mon, 06 Jun 2011 14:11:54 +0200 kleing fixed typo changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -12 +12 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle