Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. include actions for jEdit dockables, e.g. "vfs.browser";
  3. misc tuning and clarification;
  4. infrastructure for extraction of equations x = t from premises beneath meta-all
  5. avoid conflict with isabelle.next-error, resulting in odd startup dialog;
  6. updated for release;
Changeset 71515:ce1222e9451e by wenzelm:
merged
Changeset 71514:61882acca79b by wenzelm:
include actions for jEdit dockables, e.g. "vfs.browser";
The file was modified src/Pure/Tools/jedit.ML (diff)
Changeset 71513:a403942212f2 by wenzelm:
misc tuning and clarification;
The file was modified src/Pure/Tools/jedit.ML (diff)
Changeset 71512:fe93a863d946 by haftmann:
infrastructure for extraction of equations x = t from premises beneath meta-all
The file was modified src/Provers/quantifier1.ML (diff)
The file was modified src/Pure/Pure.thy (diff)
Changeset 71511:f79d57c27919 by wenzelm:
avoid conflict with isabelle.next-error, resulting in odd startup dialog;
The file was modified src/Tools/jEdit/src/jEdit.props (diff)
Changeset 71510:948143567b03 by wenzelm:
updated for release;
The file was modified Admin/Release/CHECKLIST (diff)