Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. UHD is standard, HD non-standard;
  2. updated for release;
  3. merged
  4. Added tag Isabelle2019-RC0 for changeset 6f2ab7f150f6
  5. updated for release;
  6. eliminated hard TABs;
  7. updated for release;
  8. tuned;
  9. The order of a group now follows the HOL Light definition, which is more general
  10. merged
  11. merged
  12. some new group theory results: integer group, trivial group, etc.
  13. more convenient export;
  14. misc tuning for release;
  15. more material for release;
  16. misc tuning for release;
Changeset 70038:3374d16efc61 by wenzelm:
UHD is standard, HD non-standard;
The file was modified Admin/Release/CHECKLIST (diff)
Changeset 70037:5863d6a8374a by wenzelm:
updated for release;
The file was modified Admin/Release/CHECKLIST (diff)
Changeset 70036:7ba769344550 by wenzelm:
merged
Changeset 70035:30863adababa by wenzelm:
Added tag Isabelle2019-RC0 for changeset 6f2ab7f150f6
The file was modified .hgtags (diff)
Changeset 70034:6f2ab7f150f6 by wenzelm:
updated for release;
The file was modified src/Tools/jEdit/src/Isabelle.props (diff)
Changeset 70033:6cbc7634135c by wenzelm:
eliminated hard TABs;
The file was modified src/HOL/Analysis/Homotopy.thy (diff)
Changeset 70032:0674c24afc5e by wenzelm:
updated for release;
The file was modified ANNOUNCE (diff)
The file was modified NEWS (diff)
Changeset 70031:2dfba895e26d by wenzelm:
tuned;
The file was modified NEWS (diff)
Changeset 70030:042ae6ca2c40 by paulson _lp15@cam.ac.uk_:
The order of a group now follows the HOL Light definition, which is more general
The file was modified src/HOL/Algebra/Group.thy (diff)
The file was modified src/HOL/Algebra/Multiplicative_Group.thy (diff)
Changeset 70029:b5574e88092b by paulson:
merged
Changeset 70028:e8da1fe4d61c by paulson:
merged
Changeset 70027:94494b92d8d0 by paulson _lp15@cam.ac.uk_:
some new group theory results: integer group, trivial group, etc.
The file was addedsrc/HOL/Algebra/Elementary_Groups.thy
The file was modified src/HOL/Algebra/Algebra.thy (diff)
The file was modified src/HOL/Algebra/Coset.thy (diff)
The file was modified src/HOL/Algebra/Generated_Groups.thy (diff)
The file was modified src/HOL/Algebra/Group.thy (diff)
The file was modified src/HOL/Algebra/Multiplicative_Group.thy (diff)
Changeset 70026:6ae9505d693a by wenzelm:
more convenient export;
The file was modified NEWS (diff)
The file was modified src/HOL/ROOT (diff)
Changeset 70025:16042475c511 by wenzelm:
misc tuning for release;
The file was modified COPYRIGHT (diff)
The file was modified README (diff)
Changeset 70024:f4843d791e70 by wenzelm:
more material for release;
The file was modified CONTRIBUTORS (diff)
Changeset 70023:5aef4e9966c4 by wenzelm:
misc tuning for release;
The file was modified NEWS (diff)