Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated package;
  2. proper markup for IsabelleText font;
  3. generate CSS for Isabelle fonts;
  4. tuned signature;
  5. tuned signature;
  6. output control symbols like ML version, with optionally hidden source;
  7. use css from Isabelle distribution;
  8. clarified output;
  9. proper update of already existing preview;
  10. tuned signature;
  11. tuned signature;
  12. tuned;
  13. uniform output of HTML as XML; discontinued special cases of 041dc6d8d344;
Changeset 66002:c85f677cfb0a by wenzelm:
updated package;
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 66001:b7cea8146285 by wenzelm:
proper markup for IsabelleText font;
The file was modified src/Pure/Thy/html.scala (diff)
Changeset 66000:58aa6749ff36 by wenzelm:
generate CSS for Isabelle fonts;
The file was modified etc/isabelle.css (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)
Changeset 65999:ee4cf96a9406 by wenzelm:
tuned signature;
The file was modified src/HOL/TPTP/TPTP_Parser/tptp_interpret.ML (diff)
The file was modified src/HOL/TPTP/TPTP_Parser/tptp_reconstruct.ML (diff)
The file was modified src/HOL/TPTP/TPTP_Parser_Test.thy (diff)
The file was modified src/HOL/TPTP/TPTP_Proof_Reconstruction_Test.thy (diff)
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/General/graphics_file.scala (diff)
The file was modified src/Pure/General/http.scala (diff)
The file was modified src/Pure/General/path.ML (diff)
The file was modified src/Pure/General/path.scala (diff)
The file was modified src/Pure/Thy/html.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Thy/thy_header.ML (diff)
The file was modified src/Pure/Tools/spell_checker.scala (diff)
The file was modified src/Tools/jEdit/src/completion_popup.scala (diff)
Changeset 65998:d07300e8a14d by wenzelm:
tuned signature;
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)
Changeset 65997:e3dc9ea67a62 by wenzelm:
output control symbols like ML version, with optionally hidden source;
The file was modified src/Pure/General/symbol.scala (diff)
The file was modified src/Pure/Thy/html.scala (diff)
The file was modified src/Tools/jEdit/src/symbols_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/syntax_style.scala (diff)
Changeset 65996:e72f7291ad6c by wenzelm:
use css from Isabelle distribution;
The file was modified src/Tools/VSCode/src/preview.scala (diff)
Changeset 65995:145283346958 by wenzelm:
clarified output;
The file was modified src/Tools/VSCode/src/preview.scala (diff)
Changeset 65994:46123b9dadc8 by wenzelm:
proper update of already existing preview;
The file was modified src/Tools/VSCode/extension/src/preview.ts (diff)
Changeset 65993:75590c9a585f by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/html.scala (diff)
Changeset 65992:50daca61efd6 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_status.scala (diff)
The file was modified src/Pure/Thy/html.scala (diff)
The file was modified src/Pure/Thy/present.scala (diff)
Changeset 65991:fa787e233214 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/xml.scala (diff)
The file was modified src/Pure/Thy/html.scala (diff)
Changeset 65990:868089ee9d60 by wenzelm:
uniform output of HTML as XML;<br>discontinued special cases of 041dc6d8d344;
The file was modified src/Pure/PIDE/xml.scala (diff)
The file was modified src/Pure/Thy/html.scala (diff)