Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated package;
  2. merged
  3. tuned colors according to Light+ and Dark+ themes;
  4. suppress irrelevant markup for VSCode;
  5. tuned colors;
  6. avoid extra decorations for regular command keywords;
  7. more compact protocol message;
  8. default cygwin_root from Isabelle distribution;
  9. prefer type equality;
  10. restored surj as output abbreviation, amending 6af79184bef3
Changeset 65179:883acfccb265 by wenzelm:
updated package;
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 65178:c4def7e9cfad by wenzelm:
merged
Changeset 65177:976938956460 by wenzelm:
tuned colors according to Light+ and Dark+ themes;
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 65176:908d8be90533 by wenzelm:
suppress irrelevant markup for VSCode;
The file was modified src/Pure/PIDE/markup.scala (diff)
The file was modified src/Pure/PIDE/rendering.scala (diff)
The file was modified src/Tools/VSCode/extension/package.json (diff)
The file was modified src/Tools/VSCode/extension/src/decorations.ts (diff)
The file was modified src/Tools/VSCode/src/vscode_rendering.scala (diff)
The file was modified src/Tools/jEdit/src/rich_text_area.scala (diff)
Changeset 65175:93fb59c68052 by wenzelm:
tuned colors;
The file was modified src/Tools/VSCode/extension/package.json (diff)
The file was modified src/Tools/VSCode/src/grammar.scala (diff)
Changeset 65174:c0388fbd8096 by wenzelm:
avoid extra decorations for regular command keywords;
The file was modified src/Pure/Isar/token.ML (diff)
The file was modified src/Tools/VSCode/src/vscode_rendering.scala (diff)
Changeset 65173:3700be571a01 by wenzelm:
more compact protocol message;
The file was modified src/Tools/VSCode/extension/src/decorations.ts (diff)
The file was modified src/Tools/VSCode/src/protocol.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_rendering.scala (diff)
Changeset 65172:365e97f009ed by wenzelm:
default cygwin_root from Isabelle distribution;
The file was modified src/Tools/VSCode/extension/README.md (diff)
The file was modified src/Tools/VSCode/extension/package.json (diff)
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
Changeset 65171:63655086649f by wenzelm:
prefer type equality;
The file was modified src/Tools/VSCode/extension/src/decorations.ts (diff)
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
Changeset 65170:53675f36820d by haftmann:
restored surj as output abbreviation, amending 6af79184bef3
The file was modified NEWS (diff)
The file was modified src/HOL/Fun.thy (diff)