Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. information with hyperlink to "isabelle-export:";
  2. support hyperlink to theory exports;
  3. regular export with implicit compression: result is uncompressed;
  4. clarified -- removed pointless Parse.!!!;
  5. tuned;
  6. File Browser is open by default;
  7. added action "isabelle-export-browser";
Changeset 69649:e61b0b819d28 by wenzelm:
information with hyperlink to "isabelle-export:";
The file was modified NEWS (diff)
The file was modified src/Tools/Code/code_target.ML (diff)
Changeset 69648:97ddaec3e2ae by wenzelm:
support hyperlink to theory exports;
The file was modified src/Pure/PIDE/markup.ML (diff)
The file was modified src/Pure/PIDE/markup.scala (diff)
The file was modified src/Pure/PIDE/rendering.scala (diff)
The file was modified src/Pure/Thy/export.ML (diff)
The file was modified src/Tools/jEdit/src/jedit_editor.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_rendering.scala (diff)
Changeset 69647:cf50cee2adee by wenzelm:
regular export with implicit compression: result is uncompressed;
The file was modified src/Tools/Code/code_target.ML (diff)
Changeset 69646:aac49f64051d by wenzelm:
clarified -- removed pointless Parse.!!!;
The file was modified src/Tools/Code/code_target.ML (diff)
Changeset 69645:e4e5bc6ac214 by wenzelm:
tuned;
The file was modified src/Tools/Code/code_target.ML (diff)
The file was modified src/Tools/Code/code_thingol.ML (diff)
Changeset 69644:f044766cd94f by wenzelm:
File Browser is open by default;
The file was modified src/Pure/Tools/main.scala (diff)
The file was modified src/Tools/jEdit/src/jEdit.props (diff)
Changeset 69643:83f15deb2d36 by wenzelm:
added action "isabelle-export-browser";
The file was modified NEWS (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/isabelle_export.scala (diff)
The file was modified src/Tools/jEdit/src/jEdit.props (diff)