Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned output;
  2. prefer sorted result;
  3. separate style for re-use;
  4. ML support for the Prism.js syntax highlighter -- via Isabelle/Scala;
  5. retain data structures more accurately; tuned signature;
Changeset 76517:b67c9ed2c810 by wenzelm:
tuned output;
The file was modified src/Pure/Tools/prismjs.ML (diff)
Changeset 76516:ca88e5496553 by wenzelm:
prefer sorted result;
The file was modified src/Pure/Tools/prismjs.scala (diff)
Changeset 76515:3e3541e79219 by wenzelm:
separate style for re-use;
The file was addedsrc/Doc/Demo_FoilTeX/document/isabellefoils.sty
The file was modified src/Doc/Demo_FoilTeX/ROOT (diff)
The file was modified src/Doc/Demo_FoilTeX/document/root.tex (diff)
Changeset 76514:2615cf68f6f4 by wenzelm:
ML support for the Prism.js syntax highlighter -- via Isabelle/Scala;
The file was addedsrc/Pure/Tools/prismjs.ML
The file was modified src/Pure/PIDE/markup.ML (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/System/scala.scala (diff)
The file was modified src/Pure/Tools/prismjs.scala (diff)
Changeset 76513:5a9a82522266 by wenzelm:
retain data structures more accurately;<br>tuned signature;
The file was modified src/Pure/Tools/prismjs.scala (diff)