Skip to content
Success

Changes

Summary

  1. more arg_min
  2. no exit code from build processes by default, e.g. relevant for non-strict results of remote_build_history;
  3. tuned;
  4. clarified build errors; tuned signature;
  5. tuned layout;
  6. tuned signature;
  7. tuned signature;
  8. tuned signature;
  9. tuned signature;
  10. clarified signature;
Changeset 65951:32b3feb6f965 by nipkow:
more arg_min
The file was modified src/HOL/Lattices_Big.thy (diff)
Changeset 65950:34c4cd9abc1a by wenzelm:
no exit code from build processes by default, e.g. relevant for non-strict results of remote_build_history;
The file was modified src/Pure/Admin/build_history.scala (diff)
Changeset 65949:453cf5c94345 by wenzelm:
tuned;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 65948:de7888573ed7 by wenzelm:
clarified build errors;<br>tuned signature;
The file was modified src/Pure/Isar/runtime.ML (diff)
The file was modified src/Pure/Isar/toplevel.ML (diff)
The file was modified src/Pure/PIDE/command.ML (diff)
The file was modified src/Pure/PIDE/execution.ML (diff)
The file was modified src/Pure/Tools/build.ML (diff)
Changeset 65947:223fd19ac6b3 by wenzelm:
tuned layout;
The file was modified etc/isabelle.css (diff)
Changeset 65946:5dd3974cf0bc by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_status.scala (diff)
The file was modified src/Pure/Thy/html.scala (diff)
Changeset 65945:35652d0834f4 by wenzelm:
tuned signature;
The file was modified etc/isabelle.css (diff)
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 65944:79e4d94aa9ad by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_status.scala (diff)
The file was modified src/Pure/Thy/html.scala (diff)
Changeset 65943:bf55ad5eaf75 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_status.scala (diff)
The file was modified src/Pure/Thy/html.scala (diff)
Changeset 65942:864a4892e43c by wenzelm:
clarified signature;
The file was modified src/Pure/Admin/build_status.scala (diff)
The file was modified src/Pure/Thy/html.scala (diff)