Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified menu actions;
  2. purge history more thoroughly (see also 3156faac30a7);
Changeset 68067:b91c4acc1aaf by wenzelm:
clarified menu actions;
The file was modified NEWS (diff)
The file was modified src/Doc/JEdit/JEdit.thy (diff)
The file was modified src/Tools/jEdit/src/Isabelle.props (diff)
The file was modified src/Tools/jEdit/src/jEdit.props (diff)
Changeset 68066:63f03ee4057e by wenzelm:
purge history more thoroughly (see also 3156faac30a7);
The file was modified src/Pure/PIDE/document.scala (diff)