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

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
merged
2012-07-26, by wenzelm
[1] goes after any attributes
2012-07-26, by blanchet
Z3 prints so many warnings that the very informative abnormal termination exception hardly ever gets raised -- better be more aggressive here
2012-07-26, by blanchet
detect unknown options again
2012-07-26, by blanchet
Sledgehammer already has its own ways of reporting and recovering from crashes in external provers -- no need to additionally print scores of warnings (cf. 4b0daca2bf88)
2012-07-26, by blanchet
don't export technical theorems for MaSh
2012-07-26, by blanchet
repaired accessibility chains generated by MaSh exporter + tuned one function out
2012-07-26, by blanchet
generate fact name in queries again + use ATP dependencies when possible
2012-07-26, by blanchet
proper all_current, which regards parent status as well;
2012-07-26, by wenzelm
more build options;
2012-07-26, by wenzelm
added session HOL-Tutorial;
2012-07-26, by wenzelm
recovered chapter on Presenting Theories;
2012-07-26, by wenzelm
avoid clash of Misc/pairs.thy and Types/Pairs.thy on case-insensible file-system;
2012-07-26, by wenzelm
proper input;
2012-07-26, by wenzelm
recovered latex job;
2012-07-26, by wenzelm
adhoc reordering to prevent implicit side-effects of some theories in Types, Rules, Sets;
2012-07-26, by wenzelm
more build options;
2012-07-26, by wenzelm
simplified Tutorial sessions;
2012-07-26, by wenzelm
proper arguments for old usedir;
2012-07-26, by wenzelm
more precise imports;
2012-07-26, by wenzelm
refined "document_dump_mode": "all", "tex+sty", "tex";
2012-07-26, by wenzelm
allow spaces in file names;
2012-07-26, by wenzelm
more files for session Pure;
2012-07-26, by wenzelm
discontinued slightly odd "browser_info_remote" -- it could point to a completely different version of the Isabelle library;
2012-07-26, by wenzelm
tuned;
2012-07-26, by wenzelm
remove old output heaps, to ensure that result is valid wrt. check_stamps;
2012-07-26, by wenzelm
proper imports;
2012-07-26, by wenzelm
support session groups;
2012-07-26, by wenzelm
discontinued slightly odd session order, which did not quite work out;
2012-07-26, by wenzelm
tuned signature;
2012-07-26, by wenzelm
avoid clash of Advanced/simp.thy vs. Misc/simp.thy;
2012-07-25, by wenzelm
tuned signature;
2012-07-25, by wenzelm
actually check source vs. target stamps, based on information from log files;
2012-07-25, by wenzelm
tuned;
2012-07-25, by wenzelm
session specifications for doc-src, excluding TutorialI for now;
2012-07-25, by wenzelm
updated generated files;
2012-07-25, by wenzelm
clarified no_document situation;
2012-07-25, by wenzelm
no hardwired default for Proof General component -- its users can use init_component separately;
2012-07-25, by wenzelm
rail no longer exists;
2012-07-25, by wenzelm
some updates on "Building a repository version of Isabelle";
2012-07-25, by wenzelm
added condition = ISABELLE_POLYML according to no-smlnj targets in IsaMakefile;
2012-07-25, by wenzelm
more standard session setup for WWW_Find;
2012-07-25, by wenzelm
read/write dependency information;
2012-07-24, by wenzelm
more files;
2012-07-24, by wenzelm
more build options;
2012-07-24, by wenzelm
merged
2012-07-24, by wenzelm
moving a first Quickcheck example with many computations into a separate session Quickcheck_Benchmark
2012-07-24, by bulwahn
moving Quickcheck_Examples back to test to run a minimal test even with the mira testing infrastructure
2012-07-24, by bulwahn

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

isabelle