Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper support for Windows;
  2. support for the Prism.js syntax highlighter -- via external Node.js process;
  3. support for JavaScript syntax and Node.js platform;
Changeset 76509:b01b0014c3f9 by wenzelm:
proper support for Windows;
The file was modified src/Pure/General/js.scala (diff)
Changeset 76508:ecb9e6d29698 by wenzelm:
support for the Prism.js syntax highlighter -- via external Node.js process;
The file was addedsrc/Pure/Admin/build_prismjs.scala
The file was addedsrc/Pure/Tools/prismjs.scala
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified etc/build.props (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
Changeset 76507:78a2030240f1 by wenzelm:
support for JavaScript syntax and Node.js platform;
The file was addedsrc/Pure/General/js.scala
The file was addedsrc/Pure/System/nodejs.scala
The file was modified etc/build.props (diff)