Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. A little reorganisation
  2. post-release updates;
  3. merged
  4. Added tag Isabelle2023 for changeset b5f3d1051b13
  5. tuned;
  6. misc tuning;
  7. documentation for the "Document" panel in Isabelle/jEdit;
Changeset 78663:3032bc7d613d by paulson _lp15@cam.ac.uk_:
A little reorganisation
The file was modified src/HOL/Set_Interval.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)
Changeset 78662:123bbc715ec9 by wenzelm:
post-release updates;
The file was modified .hgtags (diff)
The file was modified Admin/Release/official (diff)
Changeset 78661:5930c89d3bf2 by wenzelm:
merged
Changeset 78660:0d2ea608d223 by wenzelm:
Added tag Isabelle2023 for changeset b5f3d1051b13
The file was modified .hgtags (diff)
Changeset 78659:b5f3d1051b13 by wenzelm:
tuned;
The file was modified src/Doc/JEdit/JEdit.thy (diff)
Changeset 78658:71536ae52b16 by wenzelm:
misc tuning;
The file was modified src/Doc/JEdit/JEdit.thy (diff)
Changeset 78657:0aa741c67086 by wenzelm:
documentation for the "Document" panel in Isabelle/jEdit;
The file was addedsrc/Doc/JEdit/document/document-panel.png
The file was modified src/Doc/JEdit/JEdit.thy (diff)
The file was modified src/Doc/ROOT (diff)