Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. towards UTF-8-Isabelle symbol encoding;
  2. updated to VSCode 1.65.0;
  3. clarified char symbols: cover most European languages;
  4. more elementary Symbol.Matcher without detour via Regex (see also Pure/General/symbol_explode.ML);
  5. tuned comments; tuned imports;
  6. more robust dependencies: avoid implicit update, escpecially of underlying vscode engine;
  7. proper file headers;
  8. added count_list lemmas
Changeset 75240:83197a0ac6df by wenzelm:
towards UTF-8-Isabelle symbol encoding;
The file was addedsrc/Tools/VSCode/extension/src/isabelle_encoding.ts
The file was modified lib/Tools/vscode (diff)
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
The file was modified src/Tools/VSCode/extension/src/symbol.ts (diff)
Changeset 75239:ef9f9d43b867 by wenzelm:
updated to VSCode 1.65.0;
The file was modified src/Tools/VSCode/etc/settings (diff)
The file was modified src/Tools/VSCode/extension/package-lock.json (diff)
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 75238:e74d162ddf9f by wenzelm:
clarified char symbols: cover most European languages;
The file was modified src/Pure/General/symbol.scala (diff)
Changeset 75237:90eaac98b3fa by wenzelm:
more elementary Symbol.Matcher without detour via Regex (see also Pure/General/symbol_explode.ML);
The file was modified src/Pure/General/scan.scala (diff)
The file was modified src/Pure/General/symbol.scala (diff)
Changeset 75236:240cb0cfba5c by wenzelm:
tuned comments;<br>tuned imports;
The file was modified src/Tools/VSCode/extension/src/symbol.ts (diff)
Changeset 75235:d647f6b74744 by wenzelm:
more robust dependencies: avoid implicit update, escpecially of underlying vscode engine;
The file was modified src/Tools/VSCode/extension/package-lock.json (diff)
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 75234:57de0062dc1c by wenzelm:
proper file headers;
The file was modified src/Tools/VSCode/extension/src/completion.ts (diff)
The file was modified src/Tools/VSCode/extension/src/decorations.ts (diff)
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
The file was modified src/Tools/VSCode/extension/src/preview_panel.ts (diff)
The file was modified src/Tools/VSCode/extension/src/state_panel.ts (diff)
Changeset 75233:99b83e701c8e by nipkow:
added count_list lemmas
The file was modified src/HOL/List.thy (diff)