Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. misc tuning and modernization;
  3. NEWS;
  4. clarified;
  5. clarified;
  6. closing 'qed' or '}' is outside of fold;
  7. tuned;
Changeset 63463:b6a1047bc164 by wenzelm:
merged
Changeset 63462:c1fe30f2bc32 by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Library/AList.thy (diff)
The file was modified src/HOL/Library/AList_Mapping.thy (diff)
The file was modified src/HOL/Library/BigO.thy (diff)
The file was modified src/HOL/Library/Bit.thy (diff)
The file was modified src/HOL/Library/Boolean_Algebra.thy (diff)
The file was modified src/HOL/Library/Char_ord.thy (diff)
The file was modified src/HOL/Library/Combine_PER.thy (diff)
The file was modified src/HOL/Library/Mapping.thy (diff)
Changeset 63461:f10feaa9b14a by wenzelm:
NEWS;
The file was modified NEWS (diff)
Changeset 63460:f41070510341 by wenzelm:
clarified;
The file was modified src/Pure/Isar/outer_syntax.scala (diff)
Changeset 63459:8d68204d97d7 by wenzelm:
clarified;
The file was modified src/Pure/Isar/outer_syntax.scala (diff)
Changeset 63458:723f9c673c1c by wenzelm:
closing 'qed' or '}' is outside of fold;
The file was modified src/Pure/Isar/outer_syntax.scala (diff)
Changeset 63457:be6ceddff102 by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/fold_handling.scala (diff)