Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. update to official jedit-5.6.0;
  2. merged
  3. tidying and de-applying
  4. restructured
  5. tuned theory structure
Changeset 72247:c06260b7152c by wenzelm:
update to official jedit-5.6.0;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified NEWS (diff)
The file was modified src/Tools/jEdit/lib/Tools/jedit (diff)
The file was modified src/Tools/jEdit/patches/accelerator_font (diff)
The file was modified src/Tools/jEdit/patches/docking (diff)
The file was modified src/Tools/jEdit/patches/extended_styles (diff)
The file was modified src/Tools/jEdit/patches/folding (diff)
The file was modified src/Tools/jEdit/patches/props (diff)
The file was modified src/Tools/jEdit/patches/putenv (diff)
The file was modified src/Tools/jEdit/patches/title (diff)
The file was modified src/Tools/jEdit/patches/vfs_manager (diff)
The file was modified src/Tools/jEdit/patches/vfs_marker (diff)
Changeset 72246:9c6787cfd70e by paulson:
merged
Changeset 72245:cbe7aa1c2bdc by paulson _lp15@cam.ac.uk_:
tidying and de-applying
The file was modified src/HOL/Analysis/Further_Topology.thy (diff)
The file was modified src/HOL/Deriv.thy (diff)
The file was modified src/HOL/Limits.thy (diff)
Changeset 72244:4b011fa5e83b by haftmann:
restructured
The file was modified src/HOL/Word/Word.thy (diff)
Changeset 72243:eaac77208cf9 by haftmann:
tuned theory structure
The file was modified src/HOL/Word/More_Word.thy (diff)
The file was modified src/HOL/Word/Word.thy (diff)