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

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

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

isabelle