Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated package;
  2. enable vscode_unicode_symbols by default, despite asymmetry of input and output;
  3. more documentation;
  4. generated configuration for Prettify Symbols Mode;
  5. tuned;
  6. clarified text output wrt. symbols;
Changeset 64875:4efffde18a90 by wenzelm:
updated package;
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 64874:e13ff666af96 by wenzelm:
enable vscode_unicode_symbols by default, despite asymmetry of input and output;
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
Changeset 64873:ee5aaf7bce0d by wenzelm:
more documentation;
The file was modified src/Tools/VSCode/extension/README.md (diff)
Changeset 64872:9c194386db8d by wenzelm:
generated configuration for Prettify Symbols Mode;
The file was addedsrc/Tools/VSCode/extension/isabelle-symbols.json
The file was addedsrc/Tools/VSCode/src/symbols.scala
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was modified src/Tools/VSCode/README.md (diff)
Changeset 64871:2d594dabcca6 by wenzelm:
tuned;
The file was modified src/Pure/library.scala (diff)
The file was modified src/Tools/VSCode/src/grammar.scala (diff)
Changeset 64870:41e2797af496 by wenzelm:
clarified text output wrt. symbols;
The file was modified src/Tools/VSCode/etc/options (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_rendering.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)