Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned whitespace;
  2. Added tag Isabelle2021-RC1 for changeset d4b67dc6f4eb
  3. updated for release;
  4. clarified HTML presentation, e.g. avoid bulky jobs like HOL or HOL-Analysis in applications;
  5. follow Phabricator update 2020 Week 42;
  6. updated for release;
  7. tuned;
  8. proper NEWS according to current situation;
  9. updated for release;
  10. tuned (see also b5333fc056da);
Changeset 73015:2d7060a3ea11 by wenzelm:
tuned whitespace;
The file was modified src/FOL/FOL.thy (diff)
The file was modified src/FOL/IFOL.thy (diff)
Changeset 73014:90f4df1970b8 by wenzelm:
Added tag Isabelle2021-RC1 for changeset d4b67dc6f4eb
The file was modified .hgtags (diff)
Changeset 73013:d4b67dc6f4eb by wenzelm:
updated for release;
The file was modified src/Tools/jEdit/src/Isabelle.props (diff)
Changeset 73012:238ddf525da4 by wenzelm:
clarified HTML presentation, e.g. avoid bulky jobs like HOL or HOL-Analysis in applications;
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 73011:4519ba8da368 by wenzelm:
follow Phabricator update 2020 Week 42;
The file was modified etc/options (diff)
Changeset 73010:a569465f8b57 by wenzelm:
updated for release;
The file was modified ANNOUNCE (diff)
Changeset 73009:56eae6d161db by wenzelm:
tuned;
The file was modified NEWS (diff)
Changeset 73008:dacf2598bb27 by wenzelm:
proper NEWS according to current situation;
The file was modified NEWS (diff)
Changeset 73007:11140980a6b5 by wenzelm:
updated for release;
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
Changeset 73006:b60c4ba462d4 by wenzelm:
tuned (see also b5333fc056da);
The file was modified src/Pure/Admin/build_history.scala (diff)