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

fixed various issues with MaSh's file handling + tune output + generate local facts again + handle nameless facts gracefully
2012-07-20, by blanchet
MaSh docs
2012-07-20, by blanchet
added "learn_from_atp" command to MaSh, for patient users
2012-07-20, by blanchet
get rid of redundant "xxx_INSTALLED" environment variabl
2012-07-20, by blanchet
add versioning to MaSh state + cleanup dead code
2012-07-20, by blanchet
eliminated special handling of init case, now that "mash.py" has been optimized to handle sequences of add gracefully
2012-07-20, by blanchet
more MaSh docs
2012-07-20, by blanchet
mention MaSh in docs
2012-07-20, by blanchet
use good old MePo filter for SMT solvers by default, since arithmetic is built-in for them
2012-07-20, by blanchet
added locality as a MaSh feature
2012-07-20, by blanchet
learn on explicit "min" command but do the learning in a thread, since it may take a couple of seconds
2012-07-20, by blanchet
learn command in MaSh
2012-07-20, by blanchet
added possibility of running external MaSh commands asynchronously
2012-07-20, by blanchet
renamed ML structures
2012-07-20, by blanchet
renamed ML files
2012-07-20, by blanchet
renamed "iter" fact filter to "MePo" (Meng--Paulson)
2012-07-20, by blanchet
handle local facts smoothly in MaSh
2012-07-20, by blanchet
fixed explosion when computing accessibility
2012-07-20, by blanchet
use "eproof_ram" script if available (plug-in replacement for "eproof", but faster)
2012-07-20, by blanchet
tuning
2012-07-20, by blanchet
merged
2012-07-20, by wenzelm
further imitation of "usedir" shell script;
2012-07-20, by wenzelm
make nat_cancel_sums simprocs robust in the presence of schematic variables; add regression tests
2012-07-20, by huffman
export code relatively to master directory
2012-07-19, by haftmann
require explicit initialization of options;
2012-07-20, by wenzelm
tuned signature;
2012-07-20, by wenzelm
define build_options from command line;
2012-07-20, by wenzelm
some basic Isabelle options;
2012-07-20, by wenzelm
basic jEdit mode for Isabelle options;
2012-07-20, by wenzelm
basic support for stand-alone options with external string representation;
2012-07-20, by wenzelm
minimal build_job;
2012-07-20, by wenzelm
restrict to required sessions;
2012-07-20, by wenzelm
proper commas_quote;
2012-07-20, by wenzelm
tune;
2012-07-20, by wenzelm
simplified script to build Isabelle/ML;
2012-07-20, by wenzelm
added eq_file / copy_file corresponding to File.eq / File.copy in ML;
2012-07-19, by wenzelm
merged
2012-07-19, by wenzelm
removed ML module DSeq which was a part of the ancient code generator (cf. 58e33a125f32)
2012-07-19, by haftmann
deactivating quickcheck narrowing examples to find out if this causes the system error on the current isatest
2012-07-19, by bulwahn
support for detached Bash_Job with some control operations;
2012-07-19, by wenzelm
allow catalog entries to be commented-out;
2012-07-19, by wenzelm
support external processes with explicit environment;
2012-07-19, by wenzelm
include COMPONENT/etc/sessions as catalog for more directories, for improved scalability with hundreds of entries (notably AFP);
2012-07-19, by wenzelm
less redundant data structures;
2012-07-19, by wenzelm
clarified topological ordering: preserve order of adjacency via reverse fold;
2012-07-19, by wenzelm
support Session.Queue with ordering and dependencies;
2012-07-19, by wenzelm
clarified signature;
2012-07-19, by wenzelm
more explicit treatment of initial Pure sessions;
2012-07-19, by wenzelm
more general support for Isabelle/Scala command line tools;
2012-07-19, by wenzelm
tuned width;
2012-07-19, by wenzelm
prefer general Properties.Value.Boolean;
2012-07-19, by wenzelm
more SHA1.digest operations;
2012-07-18, by wenzelm
tuned import;
2012-07-18, by wenzelm
tuned source structure;
2012-07-18, by wenzelm
allow explicit specification of additional session directories;
2012-07-18, by wenzelm
more errors;
2012-07-18, by wenzelm
some HOL sessions;
2012-07-18, by wenzelm
cumulate semantic Session_Info, based on syntactic Session_Entry;
2012-07-18, by wenzelm
more tight treatment of reset_name;
2012-07-18, by wenzelm
more informative errors;
2012-07-18, by wenzelm

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

isabelle