Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified defaults;
  2. tuned whitespace;
  3. tuned;
  4. clarified defaults;
  5. more operations;
  6. tuned signature;
  7. re-established AFP entry for FinFuns as library
  8. clarified comment
Changeset 65056:002b4c8c366e by wenzelm:
clarified defaults;
The file was modified NEWS (diff)
The file was modified etc/options (diff)
The file was modified src/Pure/Admin/ci_profile.scala (diff)
Changeset 65055:12189e86c49d by wenzelm:
tuned whitespace;
The file was modified NEWS (diff)
Changeset 65054:9ad3f65c03f4 by wenzelm:
tuned;
The file was modified src/Pure/Isar/toplevel.ML (diff)
Changeset 65053:460f0fd2f77a by wenzelm:
clarified defaults;
The file was modified src/Pure/Tools/ml_statistics.scala (diff)
The file was modified src/Tools/jEdit/src/monitor_dockable.scala (diff)
Changeset 65052:7f825cc6debf by wenzelm:
more operations;
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 65051:f094e27e4902 by wenzelm:
tuned signature;
The file was modified src/Pure/Tools/ml_statistics.scala (diff)
Changeset 65050:4538153bcc5c by haftmann:
re-established AFP entry for FinFuns as library
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Library.thy (diff)
The file was modified src/HOL/ROOT (diff)
The file was removedsrc/HOL/Library/FinFun.thy
The file was removedsrc/HOL/ex/FinFunPred.thy
Changeset 65049:928156a95e1a by haftmann:
clarified comment
The file was modified src/HOL/Tools/Nitpick/nitpick_hol.ML (diff)