Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned layout;
  2. modernized generated HTML;
  3. tuned signature; tuned;
  4. added update operation;
  5. clarified name; tuned whitespace;
  6. register commands earlier, before prover startup;
  7. explicit preview request/response; commands, icons, menus like VSCode markdown preview; clarified Uri information (again); tuned;
  8. tuned layout;
  9. more robust -- avoid race condition wrt. Haskell output in $ISABELLE_TMP/examples/
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)