isabelle: Graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -120 +120 +1000 +3000 +10000 tip

support for SSH in Isabelle/Scala;
2016-10-09, by wenzelm
invariance of domain
2016-10-10, by paulson
enforce detailed build log;
2016-10-09, by wenzelm
record heap sizes;
2016-10-09, by wenzelm
inline session ML statistics into main build log;
2016-10-09, by wenzelm
modernized;
2016-10-09, by wenzelm
build_history log files with formal meta info;
2016-10-08, by wenzelm
prefer explicit timezone offset for printing;
2016-10-08, by wenzelm
tuned;
2016-10-08, by wenzelm
tuned name of bit truncating operations
2016-10-08, by haftmann
dedicated syntax for types with a length
2016-10-08, by haftmann
merged
2016-10-08, by wenzelm
prefer local timezone;
2016-10-08, by wenzelm
support for Isabelle/Jenkins log file format;
2016-10-08, by wenzelm
tuned;
2016-10-08, by wenzelm
clarified meta info;
2016-10-08, by wenzelm
tuned comment;
2016-10-08, by wenzelm
tuned signature;
2016-10-08, by wenzelm
tuned signature;
2016-10-08, by wenzelm
more permissive: accept all historic isatest and afp-test logs;
2016-10-08, by wenzelm
accept spurious empty logs;
2016-10-08, by wenzelm
prefer static Date_Format;
2016-10-08, by wenzelm
more formal directory content;
2016-10-08, by wenzelm
tuned error;
2016-10-08, by wenzelm
tuned;
2016-10-08, by wenzelm
misc tuning and clarification;
2016-10-08, by wenzelm
clarifying NEWS file
2016-10-08, by fleury
more flexible date formats;
2016-10-07, by wenzelm
support for isatest format;
2016-10-07, by wenzelm
tuned;
2016-10-07, by wenzelm
merged
2016-10-07, by wenzelm
accept obscure timezone used in 2011;
2016-10-07, by wenzelm
more liberal parsing for old AFP logs;
2016-10-07, by wenzelm
more operations;
2016-10-07, by wenzelm
more permissive timing data;
2016-10-07, by wenzelm
more permissive for old logs;
2016-10-07, by wenzelm
more uniform regexps;
2016-10-07, by wenzelm
clarified status: started sessions may bomb without explicit FAILED or CANCELLED (cf. in afp-test-devel-2016-01-03.log);
2016-10-07, by wenzelm
clarified parse_build_info: isabelle build output;
2016-10-07, by wenzelm
more operations;
2016-10-07, by wenzelm
more operations;
2016-10-07, by wenzelm
clarified signature;
2016-10-07, by wenzelm
more uniform treatment of settings;
2016-10-07, by wenzelm
clarified modules;
2016-10-07, by wenzelm
tuned;
2016-10-07, by wenzelm
more official legacy status;
2016-10-07, by wenzelm
more lemmas
2016-10-07, by fleury
tuning multisets
2016-10-07, by fleury
more lemmas
2016-10-07, by fleury
Set_Permutations -> Multiset_Permutations in NEWS
2016-10-07, by eberlm
moved to proper release (cf. 4a72b37ac4b8);
2016-10-07, by wenzelm
updated for release;
2016-10-07, by wenzelm
merged
2016-10-07, by wenzelm
Added tag Isabelle2016-1-RC0 for changeset 666c7475f4f7
2016-10-06, by wenzelm
merged
2016-10-06, by traytel
merged
2016-10-06, by traytel
less aggressive unfolding in tactic
2016-10-06, by traytel
merged
2016-10-06, by nipkow
moved lemmas
2016-10-06, by nipkow
merged
2016-10-06, by wenzelm
tuned signature;
2016-10-06, by wenzelm
misc tuning and clarification;
2016-10-06, by wenzelm
some support for header and data fields, notably from afp-test;
2016-10-05, by wenzelm
tuned signature;
2016-10-05, by wenzelm
more flexibile formatting;
2016-10-05, by wenzelm
proper calculation;
2016-10-05, by wenzelm
more operations;
2016-10-05, by wenzelm
more date and time operations from Java 8;
2016-10-05, by wenzelm
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