Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. A bunch of suggestions from Pedro Sánchez Terraf
  2. merged
  3. merged
  4. tweaked
  5. obsolete -- done by Isabelle/PIDE/ML;
  6. tuned whitespace --- avoid TABs;
  7. updated to Haskell stack-2.5.1, stackage lts-16.12, ghc-8.8.4;
  8. updated to postgresql-42.2.18;
  9. updated to jfreechart-1.5.1;
  10. updated to current cygwin-20201130, after 3.1.7-1 from 24-Aug-2020;
  11. Added tag Isabelle2021-RC0 for changeset 21ff9c1a4644
Changeset 72797:402afc68f2f9 by paulson _lp15@cam.ac.uk_:
A bunch of suggestions from Pedro Sánchez Terraf
The file was modified src/ZF/Cardinal.thy (diff)
The file was modified src/ZF/CardinalArith.thy (diff)
The file was modified src/ZF/Cardinal_AC.thy (diff)
The file was modified src/ZF/Constructible/Formula.thy (diff)
The file was modified src/ZF/Constructible/Rank.thy (diff)
The file was modified src/ZF/Constructible/Wellorderings.thy (diff)
The file was modified src/ZF/InfDatatype.thy (diff)
Changeset 72796:d39a32cff5d7 by paulson:
merged
Changeset 72795:f7bc71ab19db by paulson:
merged
Changeset 72794:3757e64e75bb by paulson _lp15@cam.ac.uk_:
tweaked
The file was modified src/HOL/Homology/Simplices.thy (diff)
Changeset 72793:35d200023993 by wenzelm:
obsolete -- done by Isabelle/PIDE/ML;
The file was modified Admin/Release/CHECKLIST (diff)
Changeset 72792:26492b600d78 by wenzelm:
tuned whitespace --- avoid TABs;
The file was modified src/HOL/Library/Bit_Operations.thy (diff)
The file was modified src/HOL/Library/Type_Length.thy (diff)
The file was modified src/HOL/Parity.thy (diff)
Changeset 72791:b79755daf0ad by wenzelm:
updated to Haskell stack-2.5.1, stackage lts-16.12, ghc-8.8.4;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified etc/settings (diff)
Changeset 72790:427b18abf925 by wenzelm:
updated to postgresql-42.2.18;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 72789:935f028d5f44 by wenzelm:
updated to jfreechart-1.5.1;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 72788:146e3f9bb5e7 by wenzelm:
updated to current cygwin-20201130, after 3.1.7-1 from 24-Aug-2020;
The file was modified Admin/components/bundled-windows (diff)
The file was modified Admin/components/components.sha1 (diff)
Changeset 72787:979c648ac814 by wenzelm:
Added tag Isabelle2021-RC0 for changeset 21ff9c1a4644
The file was modified .hgtags (diff)