Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. HTML preview via builtin HTTP server;
  2. permissive output of XML.Text, e.g. relevant for embedded <style>;
Changeset 66019:69b5ef78fb07 by wenzelm:
HTML preview via builtin HTTP server;
The file was modified NEWS (diff)
The file was modified src/Tools/jEdit/src/actions.xml (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
The file was modified src/Tools/jEdit/src/plugin.scala (diff)
Changeset 66018:9ce3720976dc by wenzelm:
permissive output of XML.Text, e.g. relevant for embedded &lt;style&gt;;
The file was modified src/Pure/Thy/html.scala (diff)