Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. build_history log files with formal meta info;
  2. prefer explicit timezone offset for printing;
  3. tuned;
  4. tuned name of bit truncating operations
  5. dedicated syntax for types with a length
  6. merged
  7. prefer local timezone;
  8. support for Isabelle/Jenkins log file format;
  9. tuned;
  10. clarified meta info;
  11. tuned comment;
  12. tuned signature;
  13. tuned signature;
  14. more permissive: accept all historic isatest and afp-test logs;
  15. accept spurious empty logs;
  16. prefer static Date_Format;
  17. more formal directory content; clarified date format;
  18. tuned error;
  19. tuned;
  20. misc tuning and clarification;
  21. clarifying NEWS file
Changeset 64117:c2b41b073d8a by wenzelm:
build_history log files with formal meta info;
The file was modified src/Pure/General/date.scala (diff)
The file was modified src/Pure/System/progress.scala (diff)
The file was modified src/Pure/Tools/build_history.scala (diff)
The file was modified src/Pure/Tools/build_log.scala (diff)
Changeset 64116:6cfd429a4296 by wenzelm:
prefer explicit timezone offset for printing;
The file was modified src/Pure/Tools/build_log.scala (diff)
Changeset 64115:68619fa37ca7 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/batch_session.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/ci_profile.scala (diff)
The file was modified src/Pure/Tools/ml_console.scala (diff)
Changeset 64114:45e065eea984 by haftmann:
tuned name of bit truncating operations
The file was modified src/HOL/ex/Word_Type.thy (diff)
Changeset 64113:86efd3d4dc98 by haftmann:
dedicated syntax for types with a length
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Type_Length.thy (diff)
The file was modified src/HOL/ex/Word_Type.thy (diff)
Changeset 64112:84c1ae86b9af by wenzelm:
merged
Changeset 64111:b2290b9d0175 by wenzelm:
prefer local timezone;
The file was modified src/Pure/General/date.scala (diff)
The file was modified src/Pure/Tools/build_log.scala (diff)
Changeset 64110:c0b96b34c7b9 by wenzelm:
support for Isabelle/Jenkins log file format;
The file was modified src/Pure/Tools/build_log.scala (diff)
Changeset 64109:d54aa68e33dc by wenzelm:
tuned;
The file was modified src/Pure/Tools/build_log.scala (diff)
Changeset 64108:623abb8fecdf by wenzelm:
clarified meta info;
The file was modified src/Pure/Tools/build_log.scala (diff)
Changeset 64107:87d32aa83410 by wenzelm:
tuned comment;
The file was modified src/Pure/Tools/build_log.scala (diff)
Changeset 64106:b7ff61d50b19 by wenzelm:
tuned signature;
The file was modified src/Pure/Tools/build_stats.scala (diff)
The file was modified src/Pure/Tools/ci_api.scala (diff)
Changeset 64105:d93bd6d253c6 by wenzelm:
tuned signature;
The file was modified src/Pure/Tools/build_log.scala (diff)
Changeset 64104:b70fa05d6746 by wenzelm:
more permissive: accept all historic isatest and afp-test logs;
The file was modified src/Pure/Tools/build_log.scala (diff)
Changeset 64103:60d163f38056 by wenzelm:
accept spurious empty logs;
The file was modified src/Pure/Tools/build_log.scala (diff)
Changeset 64102:1ec2adddf16b by wenzelm:
prefer static Date_Format;
The file was modified src/Pure/Tools/build_log.scala (diff)
Changeset 64101:976289c733e6 by wenzelm:
more formal directory content;<br>clarified date format;
The file was modified src/Pure/Tools/build_log.scala (diff)
Changeset 64100:9b1573213ebe by wenzelm:
tuned error;
The file was modified src/Pure/General/date.scala (diff)
The file was modified src/Pure/Tools/build_log.scala (diff)
Changeset 64099:7a273824e206 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 64098:099518e8af2c by wenzelm:
misc tuning and clarification;
The file was modified src/Pure/General/date.scala (diff)
The file was modified src/Pure/Tools/build_log.scala (diff)
Changeset 64097:331fbf2a0d2d by fleury _mathias.fleury@mpi-inf.mpg.de_:
clarifying NEWS file
The file was modified NEWS (diff)