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

replace Nat_Arith simprocs with simpler conversions that do less rearrangement of terms
2012-07-27, by huffman
give Nat_Arith simprocs proper name bindings by using simproc_setup
2012-07-27, by huffman
tweaks in preparation for type encoding evaluation
2012-07-27, by blanchet
merged
2012-07-27, by wenzelm
replace abel_cancel simprocs with functionally equivalent, but simpler and faster ones
2012-07-27, by huffman
nicer Nitpick subscript output in jEdit
2012-07-27, by blanchet
no_check for @{setting} antiquotations -- empty values are treated as undefined on Cygwin;
2012-07-27, by wenzelm
proper shell variable;
2012-07-27, by wenzelm
actually check return code;
2012-07-27, by wenzelm
include doc-src as component, and thus its sessions defined in ROOT;
2012-07-27, by wenzelm
tuned signature;
2012-07-27, by wenzelm
delete other log file;
2012-07-27, by wenzelm
simplified Path vs. JVM File operations;
2012-07-27, by wenzelm
tuned;
2012-07-27, by wenzelm
tuned messages;
2012-07-27, by wenzelm
fewer options;
2012-07-27, by wenzelm
tuned signature;
2012-07-27, by wenzelm
prefer explicit datatype Present.dump_mode;
2012-07-27, by wenzelm
simplified Session.name;
2012-07-27, by wenzelm
more precise imitation of usedir wrt. Session.name (cf. 45137257399a);
2012-07-27, by wenzelm
update docs
2012-07-27, by blanchet
extract Z3 unsat cores (for "z3_tptp")
2012-07-27, by blanchet
bring implementation of traditional encoding in line with paper
2012-07-27, by blanchet
further refinement of current/all_current status, which needs to be propagated through the hierarchy (see also Thy_Info.require_thys);
2012-07-26, by wenzelm

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

isabelle