Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated package;
  2. merged
  3. decorations for text color;
  4. tuned;
  5. more generic colors;
  6. tuned;
  7. decorations for spell-checker;
  8. clarified modules;
  9. tuned signature;
  10. clarified modules: spell-checker in Pure;
  11. added admin tool "isabelle build_vscode";
  12. clarified options;
  13. Tuned generation of elimination rules in function package
Changeset 65148:d232832b943c by wenzelm:
updated package;
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 65147:a1aaa18091b0 by wenzelm:
merged
Changeset 65146:69ea3f1715be by wenzelm:
decorations for text color;
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)
Changeset 65145:576d52aa0a78 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/rendering.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_rendering.scala (diff)
Changeset 65144:b5782e996651 by wenzelm:
more generic colors;
The file was modified src/Pure/PIDE/rendering.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_rendering.scala (diff)
Changeset 65143:36cd85caf09a by wenzelm:
tuned;
The file was modified src/Pure/PIDE/rendering.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_rendering.scala (diff)
Changeset 65142:368004bed323 by wenzelm:
decorations for spell-checker;
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/VSCode/src/vscode_resources.scala (diff)
Changeset 65141:c706b57b1694 by wenzelm:
clarified modules;
The file was modified etc/options (diff)
The file was modified src/Tools/jEdit/etc/options (diff)
Changeset 65140:1191df79aa1c by wenzelm:
tuned signature;
The file was modified src/Tools/VSCode/src/document_model.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_rendering.scala (diff)
Changeset 65139:0a2c0712e432 by wenzelm:
clarified modules: spell-checker in Pure;
The file was addedsrc/Pure/Tools/spell_checker.scala
The file was addedsrc/Tools/jEdit/src/jedit_spell_checker.scala
The file was modified src/Pure/PIDE/rendering.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was modified src/Tools/jEdit/lib/Tools/jedit (diff)
The file was modified src/Tools/jEdit/src/completion_popup.scala (diff)
The file was modified src/Tools/jEdit/src/context_menu.scala (diff)
The file was modified src/Tools/jEdit/src/isabelle.scala (diff)
The file was modified src/Tools/jEdit/src/isabelle_options.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_rendering.scala (diff)
The file was removedsrc/Tools/jEdit/src/spell_checker.scala
Changeset 65138:64dfee6bd243 by wenzelm:
added admin tool "isabelle build_vscode";
The file was addedsrc/Tools/VSCode/src/build_vscode.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)
The file was modified src/Tools/VSCode/extension/README.md (diff)
The file was modified src/Tools/VSCode/src/grammar.scala (diff)
The file was removedsrc/Tools/VSCode/src/symbols.scala
Changeset 65137:812c35fbffa8 by wenzelm:
clarified options;
The file was modified src/Tools/VSCode/etc/options (diff)
The file was modified src/Tools/VSCode/extension/src/extension.ts (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)
Changeset 65136:115bcddf2ea2 by eberlm _eberlm@in.tum.de_:
Tuned generation of elimination rules in function package
The file was modified src/HOL/Tools/Function/function_elims.ML (diff)