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 tip

proper imports;
2016-10-05, by wenzelm
clarified modules;
2016-10-05, by wenzelm
more operations;
2016-10-05, by wenzelm
added multicore_base option;
2016-10-05, by wenzelm
allow multiple threads configurations;
2016-10-05, by wenzelm
tuned;
2016-10-05, by wenzelm
misc tuning and clarification;
2016-10-05, by wenzelm
clean output dir for fresh rebuild;
2016-10-05, by wenzelm
allow multiline script;
2016-10-05, by wenzelm
clarified sanity checks;
2016-10-05, by wenzelm
clarified modules;
2016-10-04, by wenzelm
historic workaround according to 22630327408b;
2016-10-04, by wenzelm
more thorought update of components;
2016-10-04, by wenzelm
check session name;
2016-10-04, by wenzelm
tuned signature;
2016-10-04, by wenzelm
tuned error;
2016-10-04, by wenzelm
earlier build_history_base: timing properties in log are introduced here;
2016-10-04, by wenzelm
incremental output;
2016-10-04, by wenzelm
clarified output;
2016-10-04, by wenzelm
clarified heap options;
2016-10-04, by wenzelm
proper ISABELLE_TOOL_JAVA_OPTIONS (as in "isabelle" wrapper);
2016-10-04, by wenzelm
more ambitious default as in former isatest;
2016-10-04, by wenzelm
tuned signature;
2016-10-04, by wenzelm
tuned;
2016-10-04, by wenzelm
more sanity checks;
2016-10-04, by wenzelm
more options for generated settings;
2016-10-04, by wenzelm
more robust build_history_base;
2016-10-03, by wenzelm
more robust;
2016-10-03, by wenzelm
proper log output;
2016-10-03, by wenzelm
clarified command line;
2016-10-03, by wenzelm
clarified command-line;
2016-10-03, by wenzelm
more operations;
2016-10-03, by wenzelm
more formal build_history_base;
2016-10-03, by wenzelm
clarified cold-start environment;
2016-10-03, by wenzelm
basic setup for Admin/build_history -- outside of Isabelle environment;
2016-10-03, by wenzelm
clarified: a variant of -i is the default, but its output is not as precise as it might seem;
2016-10-03, by wenzelm
merged
2016-10-05, by nipkow
replaced floorlog by floor/ceiling(log .)
2016-10-05, by nipkow
more multiset simp rules
2016-10-05, by fleury
tuned proof -- much faster
2016-10-05, by fleury
proof of concept for algebraically founded word types
2016-10-03, by haftmann
more lemmas
2016-10-03, by haftmann
option to report results of solve_direct as explicit warnings
2016-10-03, by haftmann
modernized option
2016-10-03, by haftmann
CONTRIBUTORS
2016-10-03, by haftmann
Probability: move some theorems from AFP/Density_Compiler
2016-10-03, by hoelzl
Probability: variant of central limit theorem with non-zero mean
2016-10-03, by hoelzl
HOL-Probability: more about probability, prepare for Markov processes in the AFP
2016-09-30, by hoelzl
Merge
2016-10-03, by paulson
new theorems including the theory FurtherTopology
2016-10-03, by paulson
clarified magic values (see also java/io/BufferedInputStream.java);
2016-10-03, by wenzelm
clarified stream operations;
2016-10-03, by wenzelm
tuned signature;
2016-10-03, by wenzelm
clarified modules;
2016-10-03, by wenzelm
more general read_stream: return actual byte count;
2016-10-03, by wenzelm
clarified modules;
2016-10-02, by wenzelm
more operations;
2016-10-02, by wenzelm
more operations;
2016-10-02, by wenzelm
more formal Mercurial support (with the potential to upgrade to command server);
2016-10-02, by wenzelm
tuned whitespace;
2016-10-02, by wenzelm

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

isabelle