Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified;
  2. merged
  3. fixed the simplification of Suc n - 1
  4. tuned whitespace;
  5. tuned message;
  6. just one pass is sufficient (see also cc8391b92747, 3e8a897042d9);
  7. more detailed progress for build_log_database, to see better what happens when;
  8. clarified signature: explicit Progress date;
  9. more uniform progress;
  10. more robust: support concurrent output;
  11. disable multi-builds (again): does not quite work yet;
Changeset 78883:5de1c19ccd92 by lukas stevens _mail@lukas-stevens.de_:
clarified;
The file was modified src/Tools/induction.ML (diff)
Changeset 78882:c1bd24ca22b6 by paulson:
merged
Changeset 78881:fb6828831ef1 by paulson _lp15@cam.ac.uk_:
fixed the simplification of Suc n - 1
The file was modified src/HOL/Nat.thy (diff)
Changeset 78880:9ce8bf038444 by wenzelm:
tuned whitespace;
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 78879:2e260496a4f8 by wenzelm:
tuned message;
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 78878:d03bbdd9e735 by wenzelm:
just one pass is sufficient (see also cc8391b92747, 3e8a897042d9);
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 78877:45d570945fe4 by wenzelm:
more detailed progress for build_log_database, to see better what happens when;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 78876:4222955f3b69 by wenzelm:
clarified signature: explicit Progress date;
The file was modified src/Pure/System/progress.scala (diff)
Changeset 78875:b7d355b2b176 by wenzelm:
more uniform progress;
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 78874:162ce304955e by wenzelm:
more robust: support concurrent output;
The file was modified src/Pure/System/progress.scala (diff)
Changeset 78873:0c7419d3dd59 by wenzelm:
disable multi-builds (again): does not quite work yet;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)