Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. more PIDE markup and hyperlinks;
  2. clarified signature: more explicit type Path.binding; tuned;
  3. more LaTeX symbols;
Changeset 70016:a8142ac5e4b6 by wenzelm:
more PIDE markup and hyperlinks;
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/Thy/export.ML (diff)
The file was modified src/Tools/jEdit/src/active.scala (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 70015:c8e08d8ffb93 by wenzelm:
clarified signature: more explicit type Path.binding;<br>tuned;
The file was modified etc/symbols (diff)
The file was modified lib/texinputs/isabellesym.sty (diff)
The file was modified src/HOL/SPARK/Tools/spark_vcs.ML (diff)
The file was modified src/Pure/General/path.ML (diff)
The file was modified src/Pure/ML/ml_syntax.ML (diff)
The file was modified src/Pure/PIDE/resources.ML (diff)
The file was modified src/Pure/Thy/export.ML (diff)
The file was modified src/Pure/Thy/export_theory.ML (diff)
The file was modified src/Pure/Thy/thy_info.ML (diff)
The file was modified src/Pure/Tools/generated_files.ML (diff)
The file was modified src/Tools/Code/code_target.ML (diff)
Changeset 70014:7a9c559bc518 by wenzelm:
more LaTeX symbols;
The file was modified lib/texinputs/isabellesym.sty (diff)