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;
  14. tuned layout;
  15. modernized generated HTML;
  16. tuned signature; tuned;
  17. added update operation;
  18. clarified name; tuned whitespace;
  19. register commands earlier, before prover startup;
  20. explicit preview request/response; commands, icons, menus like VSCode markdown preview; clarified Uri information (again); tuned;
  21. tuned layout;
  22. more robust -- avoid race condition wrt. Haskell output in $ISABELLE_TMP/examples/
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)
Changeset 65989:68cd15585f46 by wenzelm:
tuned layout;
The file was modified etc/isabelle.css (diff)
The file was modified src/Pure/Thy/present.scala (diff)
Changeset 65988:8040d2563593 by wenzelm:
modernized generated HTML;
The file was modified etc/isabelle.css (diff)
The file was modified src/Pure/Admin/news.scala (diff)
The file was modified src/Pure/Thy/html.scala (diff)
The file was modified src/Pure/Thy/present.scala (diff)
Changeset 65987:44e44bfc738a by wenzelm:
tuned signature;<br>tuned;
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
The file was modified src/Tools/VSCode/extension/src/preview.ts (diff)
Changeset 65986:d2b2f08533c5 by wenzelm:
added update operation;
The file was modified src/Tools/VSCode/extension/package.json (diff)
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
The file was modified src/Tools/VSCode/extension/src/preview.ts (diff)
Changeset 65985:1be7135917a6 by wenzelm:
clarified name;<br>tuned whitespace;
The file was modified src/Tools/VSCode/extension/package.json (diff)
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
The file was modified src/Tools/VSCode/extension/src/preview.ts (diff)
Changeset 65984:8e6a833da7db by wenzelm:
register commands earlier, before prover startup;
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
The file was modified src/Tools/VSCode/extension/src/preview.ts (diff)
Changeset 65983:d8c5603c1732 by wenzelm:
explicit preview request/response;<br>commands, icons, menus like VSCode markdown preview;<br>clarified Uri information (again);<br>tuned;
The file was addedsrc/Tools/VSCode/extension/media/Preview.svg
The file was addedsrc/Tools/VSCode/extension/media/PreviewOnRightPane_16x.svg
The file was addedsrc/Tools/VSCode/extension/media/PreviewOnRightPane_16x_dark.svg
The file was addedsrc/Tools/VSCode/extension/media/Preview_inverse.svg
The file was addedsrc/Tools/VSCode/extension/media/ViewSource.svg
The file was addedsrc/Tools/VSCode/extension/media/ViewSource_inverse.svg
The file was addedsrc/Tools/VSCode/src/preview.scala
The file was modified src/Pure/build-jars (diff)
The file was modified src/Tools/VSCode/extension/package.json (diff)
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
The file was modified src/Tools/VSCode/extension/src/library.ts (diff)
The file was modified src/Tools/VSCode/extension/src/preview.ts (diff)
The file was modified src/Tools/VSCode/extension/src/protocol.ts (diff)
The file was modified src/Tools/VSCode/src/protocol.scala (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
The file was removedsrc/Tools/VSCode/src/dynamic_preview.scala
Changeset 65982:5b8fafde7d64 by wenzelm:
tuned layout;
The file was modified etc/isabelle.css (diff)
Changeset 65981:e2c25346b156 by wenzelm:
more robust -- avoid race condition wrt. Haskell output in $ISABELLE_TMP/examples/
The file was modified src/Doc/Codegen/Further.thy (diff)
The file was modified src/Doc/Codegen/Introduction.thy (diff)