Mercurialisabelle / shortlog
summary | shortlog | changelog | graph | tags | branches | files | gz
(0) -30000 -10000 -3000 -1000 -300 -100 -60 tip
 
2 hours ago blanchet 2012-05-23 tuned names default tip changeset | files
2 hours ago blanchet 2012-05-23 order LEO-II/Satallax definitions so that they build on each other (cf. Satallax's THF policy) changeset | files
2 hours ago blanchet 2012-05-23 improved LEO-II definition handling -- still hoping for a fix directly in LEO-II changeset | files
2 hours ago blanchet 2012-05-23 augment Satallax unsat cores with all definitions changeset | files
2 hours ago blanchet 2012-05-23 better handling of incomplete TSTP proofs changeset | files
2 hours ago blanchet 2012-05-23 generate THF definitions changeset | files
6 hours ago wenzelm 2012-05-23 build hybrid Isabelle component for JDK on x86-linux/x86_64-linux; changeset | files
7 hours ago wenzelm 2012-05-23 merged changeset | files
7 hours ago wenzelm 2012-05-23 eliminated old 'axioms'; changeset | files
7 hours ago wenzelm 2012-05-23 discontinued obsolete method fastsimp / tactic fast_simp_tac; changeset | files
8 hours ago wenzelm 2012-05-23 eliminated obsolete fastsimp; changeset | files
8 hours ago boehmes 2012-05-23 extend the Z3 proof parser to accept polyadic addition (on integers and reals) due to changes introduced in Z3 4.0 changeset | files
8 hours ago wenzelm 2012-05-23 merged changeset | files
9 hours ago wenzelm 2012-05-23 more explicit proof; misc tuning; changeset | files
10 hours ago wenzelm 2012-05-23 tuned proof; changeset | files
10 hours ago wenzelm 2012-05-23 prefer symbolic "contrib" -- mira should have a symlink to physical contrib_devel; changeset | files
10 hours ago blanchet 2012-05-23 doc updates changeset | files
10 hours ago blanchet 2012-05-23 lower the monomorphization thresholds for less scalable provers changeset | files
12 hours ago wenzelm 2012-05-23 merged, abandoning change of src/HOL/Tools/ATP/atp_problem_generate.ML from 6ea205a4d7fd; changeset | files
12 hours ago wenzelm 2012-05-23 removed obsolete RC tags; changeset | files
29 hours ago wenzelm 2012-05-22 Added tag Isabelle2012 for changeset 21c42b095c84 changeset | files
3 days ago wenzelm 2012-05-20 try to avoid races again (cf. 8c37cb84065f and fd3a36e48b09); Isabelle2012 changeset | files
6 days ago wenzelm 2012-05-17 Added tag Isabelle2012-RC3 for changeset ed5f56b8f90a changeset | files
6 days ago wenzelm 2012-05-17 some message; changeset | files
6 days ago wenzelm 2012-05-17 tuned error -- reduce potential for confusion in a higher-level context, e.g. partial checking of theory sub-graph; changeset | files
12 days ago berghofe 2012-05-11 Fixed disambiguation of names (cf. 5759ecd5c905) changeset | files
13 days ago wenzelm 2012-05-10 merged changeset | files
13 days ago wenzelm 2012-05-10 prefer absolute paths, to allow launching from a different context (e.g. via file associations); changeset | files
13 days ago wenzelm 2012-05-10 file.encoding=UTF-8 for java.ext.dirs, to agree with java runtime invocation; changeset | files
13 days ago wenzelm 2012-05-10 tweaked Inductive.prove_eqs to allow degenerate definition like "inductive TRUE where TRUE"; changeset | files
2 weeks ago wenzelm 2012-05-09 allow spaces in target directory; changeset | files
2 weeks ago wenzelm 2012-05-07 Added tag Isabelle2012-RC2 for changeset 1636ff4c6243 changeset | files
2 weeks ago wenzelm 2012-05-07 init Cygwin after unpacking; changeset | files
2 weeks ago wenzelm 2012-05-06 tuned proofs; changeset | files
2 weeks ago wenzelm 2012-05-06 more accurate ROOT.ML; changeset | files
2 weeks ago wenzelm 2012-05-06 prefer http://isabelle.in.tum.de/library alias, which is available at TUM only; changeset | files
2 weeks ago wenzelm 2012-05-05 some highlights of Isabelle2012; changeset | files
2 weeks ago wenzelm 2012-05-04 refrain from SIGHUP handling (cf. 5f629ee2502b), which does not work on Cygwin and appears to be redundant anyway (no extra output produced within pipe); changeset | files
2 weeks ago wenzelm 2012-05-04 some attempts to make critical errors fit on screen; changeset | files
2 weeks ago wenzelm 2012-05-03 more NEWS; changeset | files
2 weeks ago wenzelm 2012-05-03 backout 9579464d00f9 to avoid odd crash of polyml-5.2.1 (according to Jasmin, this change is not essential for now); changeset | files
3 weeks ago wenzelm 2012-05-02 Added tag Isabelle2012-RC1 for changeset ec5d54029664 changeset | files
3 weeks ago wenzelm 2012-05-02 clarified; changeset | files
31 hours ago blanchet 2012-05-22 compile changeset | files
31 hours ago blanchet 2012-05-22 don't apply "ext_cong_neq" to biimplications changeset | files
31 hours ago blanchet 2012-05-22 added one slice with configurable simplification turned off changeset | files
31 hours ago blanchet 2012-05-22 make higher-order goals more first-order via extensionality changeset | files
31 hours ago blanchet 2012-05-22 added "ext_cong_neq" lemma (not used yet); tuning changeset | files
2 days ago kuncar 2012-05-21 use quot_del instead of ML code in Rat.thy changeset | files
2 days ago kuncar 2012-05-21 quot_del attribute, it allows us to deregister quotient types changeset | files
2 days ago blanchet 2012-05-21 invite users to upgrade their SPASS (so we can get rid of old code) changeset | files
2 days ago blanchet 2012-05-21 start phasing out old SPASS changeset | files
2 days ago blanchet 2012-05-21 minor tweak in Vampire setup changeset | files
2 days ago blanchet 2012-05-21 include "ext" in all Satallax proofs changeset | files
2 days ago blanchet 2012-05-21 add an experimental "aggressive" mode to Sledgehammer, to experiment with more complete translations of higher-order features without breaking "metis" changeset | files
2 days ago blanchet 2012-05-21 tuning changeset | files
2 days ago blanchet 2012-05-21 added helper -- cf. SET616^5 changeset | files
5 days ago kuncar 2012-05-18 note Quotient theorem for typedefs in setup_lifting changeset | files
5 days ago blanchet 2012-05-18 added a timeout to "try0" in Mirabelle changeset | files
5 days ago kuncar 2012-05-18 don't generate code in Word because it breaks the current code setup changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -60 tip
isabelle