Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. more HTML rendering as in Isabelle/jEdit; tuned;
  3. tuned signature;
  4. clarified menu; avoid non-portable ALT-mouse combination;
  5. clarified signature;
  6. HTML preview based on PIDE markup;
  7. explicit foreground color, for the sake of dark theme in VSCode;
  8. tuned layout (amending 8040d2563593);
  9. more official session qualifier;
  10. clarified;
Changeset 66045:f8c4442bb3a9 by wenzelm:
merged
Changeset 66044:bd7516709051 by wenzelm:
more HTML rendering as in Isabelle/jEdit;<br>tuned;
The file was modified etc/isabelle.css (diff)
The file was modified src/Pure/Isar/token.ML (diff)
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/html.ML (diff)
The file was modified src/Pure/Thy/present.scala (diff)
Changeset 66043:f704c063e95d by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/Thy/present.scala (diff)
Changeset 66042:98aaeff47795 by wenzelm:
clarified menu;<br>avoid non-portable ALT-mouse combination;
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 66041:c49bd8bb4839 by wenzelm:
clarified signature;
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/Thy/present.scala (diff)
Changeset 66040:f826ba18fe08 by wenzelm:
HTML preview based on PIDE markup;
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/Thy/html.scala (diff)
The file was modified src/Pure/Thy/present.scala (diff)
The file was modified src/Tools/VSCode/src/preview.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 66039:a2b8c3d31037 by wenzelm:
explicit foreground color, for the sake of dark theme in VSCode;
The file was modified etc/isabelle.css (diff)
Changeset 66038:36bf57d6c011 by wenzelm:
tuned layout (amending 8040d2563593);
The file was modified src/Pure/Thy/present.scala (diff)
Changeset 66037:58d2e41afbfe by wenzelm:
more official session qualifier;
The file was modified src/Pure/Thy/present.ML (diff)
The file was modified src/Pure/Tools/thm_deps.ML (diff)
Changeset 66036:b6396880b644 by wenzelm:
clarified;
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
The file was modified src/Tools/jEdit/src/jEdit.props (diff)