Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. isabelle update_comments;
  3. tuned header;
  4. updated for release;
  5. updated for release;
  6. misc tuning and updates for release;
  7. updated for release;
  8. updated for release; tuned;
  9. eliminated suspicious Unicode;
  10. proper white space;
  11. updated to sqlite-jdbc-3.23.1;
Changeset 68398:194fa3d2d6a4 by wenzelm:
merged
Changeset 68397:cace81744c61 by wenzelm:
isabelle update_comments;
The file was modified src/HOL/Real_Vector_Spaces.thy (diff)
The file was modified src/HOL/Vector_Spaces.thy (diff)
Changeset 68396:7433ee1ed7e3 by wenzelm:
tuned header;
The file was modified src/Pure/General/cache.scala (diff)
Changeset 68395:76a0f3bafb16 by wenzelm:
updated for release;
The file was modified src/Tools/jEdit/src-base/Isabelle_Base.props (diff)
Changeset 68394:bc2fd0e2047e by wenzelm:
updated for release;
The file was modified src/Doc/JEdit/JEdit.thy (diff)
The file was modified src/Doc/System/Environment.thy (diff)
The file was modified src/Doc/System/Misc.thy (diff)
Changeset 68393:b9989df11c78 by wenzelm:
misc tuning and updates for release;
The file was modified NEWS (diff)
Changeset 68392:b2510432c94d by wenzelm:
updated for release;
The file was modified src/Tools/jEdit/src/Isabelle.props (diff)
Changeset 68391:9b4f60bdad54 by wenzelm:
updated for release;<br>tuned;
The file was modified ANNOUNCE (diff)
The file was modified CONTRIBUTORS (diff)
The file was modified COPYRIGHT (diff)
The file was modified NEWS (diff)
Changeset 68390:c558a2202f32 by wenzelm:
eliminated suspicious Unicode;
The file was modified src/HOL/Library/Code_Lazy.thy (diff)
Changeset 68389:1c84a8c513af by wenzelm:
proper white space;
The file was modified src/HOL/Parity.thy (diff)
Changeset 68388:eb9d7e8708d5 by wenzelm:
updated to sqlite-jdbc-3.23.1;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)