Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. improved chart plotting
  2. augmented user aliasses
  3. proper treatment of utf-8
  4. tuned;
  5. support for semantic completion;
  6. generalized types in lemmas
  7. updated package;
  8. enable vscode_unicode_symbols by default, despite asymmetry of input and output;
  9. more documentation;
  10. generated configuration for Prettify Symbols Mode;
  11. tuned;
  12. clarified text output wrt. symbols;
Changeset 64881:9eff4c62579a by haftmann:
improved chart plotting
The file was modified Admin/lib/Tools/churn_pie (diff)
The file was modified Admin/lib/scripts/churn_pie (diff)
Changeset 64880:3f36c53aa105 by haftmann:
augmented user aliasses
The file was modified Admin/user-aliases (diff)
Changeset 64879:58525e7f721f by haftmann:
proper treatment of utf-8
The file was modified Admin/lib/scripts/churn_pie (diff)
Changeset 64878:e9208a9301c0 by wenzelm:
tuned;
The file was modified src/Pure/General/json.scala (diff)
The file was modified src/Tools/VSCode/src/protocol.scala (diff)
Changeset 64877:31e9920a0dc1 by wenzelm:
support for semantic completion;
The file was modified src/Pure/PIDE/line.scala (diff)
The file was modified src/Pure/PIDE/rendering.scala (diff)
The file was modified src/Tools/VSCode/src/document_model.scala (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 modified src/Tools/VSCode/src/vscode_rendering.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_rendering.scala (diff)
Changeset 64876:65a247444100 by blanchet:
generalized types in lemmas
The file was modified NEWS (diff)
The file was modified src/HOL/Nat.thy (diff)
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)