Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more flexible date formats;
  2. support for isatest format;
  3. tuned;
  4. merged
  5. accept obscure timezone used in 2011;
  6. more liberal parsing for old AFP logs;
  7. more operations;
  8. more permissive timing data;
  9. more permissive for old logs;
  10. more uniform regexps;
  11. clarified status: started sessions may bomb without explicit FAILED or CANCELLED (cf. in afp-test-devel-2016-01-03.log);
  12. clarified parse_build_info: isabelle build output; clarified Session_Status; tuned signature;
  13. more operations;
  14. more operations;
  15. clarified signature;
  16. more uniform treatment of settings;
  17. clarified modules; CI_Profile: show all settings;
  18. tuned;
  19. more official legacy status;
  20. more lemmas
  21. tuning multisets
  22. more lemmas
  23. Set_Permutations -> Multiset_Permutations in NEWS
  24. moved to proper release (cf. 4a72b37ac4b8); tuned;
  25. updated for release;
  26. merged
  27. Added tag Isabelle2016-1-RC0 for changeset 666c7475f4f7
Changeset 64096:5edeb60a7ec5 by wenzelm:
more flexible date formats;
The file was modified src/Pure/General/date.scala (diff)
The file was modified src/Pure/Tools/build_log.scala (diff)
Changeset 64095:1a6d37c31df9 by wenzelm:
support for isatest format;
The file was modified src/Pure/Tools/build_log.scala (diff)
Changeset 64094:629558a1ecf5 by wenzelm:
tuned;
The file was modified src/Pure/General/date.scala (diff)
The file was modified src/Pure/Tools/build_log.scala (diff)
Changeset 64093:f09f377da49d by wenzelm:
merged
Changeset 64092:95469c544b82 by wenzelm:
accept obscure timezone used in 2011;
The file was modified src/Pure/Tools/build_log.scala (diff)
Changeset 64091:f8dfba90e73f by wenzelm:
more liberal parsing for old AFP logs;
The file was modified src/Pure/Tools/build_log.scala (diff)
Changeset 64090:5a68280112b3 by wenzelm:
more operations;
The file was modified src/Pure/Tools/build_log.scala (diff)
Changeset 64089:10d719dbb3ee by wenzelm:
more permissive timing data;
The file was modified src/Pure/General/timing.scala (diff)
The file was modified src/Pure/Tools/build_log.scala (diff)
The file was modified src/Pure/Tools/build_stats.scala (diff)
Changeset 64088:210aabe359ab by wenzelm:
more permissive for old logs;
The file was modified src/Pure/Tools/build_log.scala (diff)
Changeset 64087:a77c57235bae by wenzelm:
more uniform regexps;
The file was modified src/Pure/Tools/build_log.scala (diff)
Changeset 64086:ac7ae5067783 by wenzelm:
clarified status: started sessions may bomb without explicit FAILED or CANCELLED (cf. in afp-test-devel-2016-01-03.log);
The file was modified src/Pure/Tools/build_log.scala (diff)
Changeset 64085:1c451e5c145f by wenzelm:
clarified parse_build_info: isabelle build output;<br>clarified Session_Status;<br>tuned signature;
The file was modified src/Pure/Tools/build_log.scala (diff)
The file was modified src/Pure/Tools/build_stats.scala (diff)
Changeset 64084:bca58a11efde by wenzelm:
more operations;
The file was modified src/Pure/General/timing.scala (diff)
Changeset 64083:fef1a0a59c12 by wenzelm:
more operations;
The file was modified src/Pure/Tools/build_log.scala (diff)
Changeset 64082:d57c7295f601 by wenzelm:
clarified signature;
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/build_log.scala (diff)
The file was modified src/Pure/Tools/ci_api.scala (diff)
Changeset 64081:38bb09ed965b by wenzelm:
more uniform treatment of settings;
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/build_log.scala (diff)
The file was modified src/Pure/Tools/ci_profile.scala (diff)
Changeset 64080:2e5c0bd708af by wenzelm:
clarified modules;<br>CI_Profile: show all settings;
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/build_log.scala (diff)
The file was modified src/Pure/Tools/ci_profile.scala (diff)
Changeset 64079:ff26032b7f2a by wenzelm:
tuned;
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/build_log.scala (diff)
The file was modified src/Pure/Tools/ci_profile.scala (diff)
Changeset 64078:0b22328a353c by wenzelm:
more official legacy status;
The file was modified src/HOL/Library/Old_SMT.thy (diff)
Changeset 64077:6d770c2dc60d by fleury _mathias.fleury@mpi-inf.mpg.de_:
more lemmas
The file was modified src/HOL/Library/Multiset.thy (diff)
Changeset 64076:9f089287687b by fleury _mathias.fleury@mpi-inf.mpg.de_:
tuning multisets
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)
The file was modified src/HOL/Library/Multiset_Order.thy (diff)
Changeset 64075:3d4c3eec5143 by fleury _mathias.fleury@mpi-inf.mpg.de_:
more lemmas
The file was modified src/HOL/Library/Multiset.thy (diff)
Changeset 64074:7dccbbd8d71d by eberlm _eberlm@in.tum.de_:
Set_Permutations -&gt; Multiset_Permutations in NEWS
The file was modified NEWS (diff)
Changeset 64073:cffd5f537206 by wenzelm:
moved to proper release (cf. 4a72b37ac4b8);<br>tuned;
The file was modified NEWS (diff)
Changeset 64072:9f96e4da3064 by wenzelm:
updated for release;
The file was modified ANNOUNCE (diff)
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
Changeset 64071:21b83e8121aa by wenzelm:
merged
Changeset 64070:a480dd2fcfd8 by wenzelm:
Added tag Isabelle2016-1-RC0 for changeset 666c7475f4f7
The file was modified .hgtags (diff)