Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more robust: avoid crash of browser right-click menu;
  2. more accurate file position;
  3. NEWS;
  4. open session ROOT file;
  5. support for session information via virtual file-system;
  6. clarified modules;
  7. tuned;
  8. tuned signature;
  9. tuned signature;
  10. tuned;
  11. clarified modules;
  12. discontinued obsolete option "checkpoint";
Changeset 69766:76fbd806ebc5 by wenzelm:
more robust: avoid crash of browser right-click menu;
The file was modified src/Tools/jEdit/src/isabelle_session.scala (diff)
Changeset 69765:c5778547ed03 by wenzelm:
more accurate file position;
The file was addedsrc/Tools/jEdit/patches/vfs_marker
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Tools/jEdit/src/isabelle_session.scala (diff)
Changeset 69764:3ceff650adb9 by wenzelm:
NEWS;
The file was modified NEWS (diff)
Changeset 69763:4b0a11d499e2 by wenzelm:
open session ROOT file;
The file was modified src/Tools/jEdit/src/isabelle_session.scala (diff)
Changeset 69762:58fb0d779583 by wenzelm:
support for session information via virtual file-system;
The file was addedsrc/Tools/jEdit/src/isabelle_session.scala
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Tools/jEdit/lib/Tools/jedit (diff)
The file was modified src/Tools/jEdit/src/Isabelle.props (diff)
The file was modified src/Tools/jEdit/src/actions.xml (diff)
The file was modified src/Tools/jEdit/src/jEdit.props (diff)
The file was modified src/Tools/jEdit/src/services.xml (diff)
Changeset 69761:a899ca03d74c by wenzelm:
clarified modules;
The file was modified src/Tools/jEdit/src/isabelle_export.scala (diff)
The file was modified src/Tools/jEdit/src/isabelle_vfs.scala (diff)
Changeset 69760:d0a6e1160be3 by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/isabelle_export.scala (diff)
Changeset 69759:092c6a4bcc26 by wenzelm:
tuned signature;
The file was modified src/Tools/jEdit/src/isabelle_export.scala (diff)
The file was modified src/Tools/jEdit/src/plugin.scala (diff)
Changeset 69758:34a93af5b969 by wenzelm:
tuned signature;
The file was modified src/Tools/jEdit/src/jedit_sessions.scala (diff)
Changeset 69757:da0d533d7f30 by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/isabelle_vfs.scala (diff)
Changeset 69756:1907222d974e by wenzelm:
clarified modules;
The file was addedsrc/Tools/jEdit/src/isabelle_vfs.scala
The file was modified src/Pure/Thy/export.scala (diff)
The file was modified src/Tools/jEdit/lib/Tools/jedit (diff)
The file was modified src/Tools/jEdit/src/isabelle_export.scala (diff)
Changeset 69755:2fc85ce1f557 by wenzelm:
discontinued obsolete option "checkpoint";
The file was modified NEWS (diff)
The file was modified etc/options (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/Tools/build.ML (diff)