Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

Summary

  1. merged
  2. tuned
  3. tuning
  4. added hydra battle
  5. added simp rule + removed simp rule provable by simp
Changeset 7688:012633223658 by nipkow:
merged
Changeset 7687:2c08a4d0a84b by nipkow:
tuned
The file was modified thys/Example-Submission/ROOT
Changeset 7686:7a39e30324b2 by blanchet:
tuning
The file was modified thys/Nested_Multisets_Ordinals/Hydra_Battle.thy
Changeset 7685:1b2a2a5ca724 by blanchet:
added hydra battle
The file was addedthys/Nested_Multisets_Ordinals/Hydra_Battle.thy
The file was modified thys/Nested_Multisets_Ordinals/McCarthy_91.thy
The file was modified thys/Nested_Multisets_Ordinals/ROOT
Changeset 7684:cbc3a86d3f50 by blanchet:
added simp rule + removed simp rule provable by simp
The file was modified thys/Nested_Multisets_Ordinals/Syntactic_Ordinal.thy

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

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
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
The file was modified src/Tools/VSCode/extension/src/decorations.ts
The file was modified src/Tools/VSCode/src/vscode_rendering.scala
Changeset 65145:576d52aa0a78 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/rendering.scala
The file was modified src/Tools/jEdit/src/jedit_rendering.scala
Changeset 65144:b5782e996651 by wenzelm:
more generic colors;
The file was modified src/Pure/PIDE/rendering.scala
The file was modified src/Tools/jEdit/src/jedit_rendering.scala
Changeset 65143:36cd85caf09a by wenzelm:
tuned;
The file was modified src/Pure/PIDE/rendering.scala
The file was modified src/Tools/VSCode/src/vscode_rendering.scala
Changeset 65142:368004bed323 by wenzelm:
decorations for spell-checker;
The file was modified src/Tools/VSCode/extension/package.json
The file was modified src/Tools/VSCode/extension/src/decorations.ts
The file was modified src/Tools/VSCode/src/vscode_rendering.scala
The file was modified src/Tools/VSCode/src/vscode_resources.scala
Changeset 65141:c706b57b1694 by wenzelm:
clarified modules;
The file was modified etc/options
The file was modified src/Tools/jEdit/etc/options
Changeset 65140:1191df79aa1c by wenzelm:
tuned signature;
The file was modified src/Tools/VSCode/src/document_model.scala
The file was modified src/Tools/VSCode/src/vscode_rendering.scala
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
The file was modified src/Pure/build-jars
The file was modified src/Tools/jEdit/lib/Tools/jedit
The file was modified src/Tools/jEdit/src/completion_popup.scala
The file was modified src/Tools/jEdit/src/context_menu.scala
The file was modified src/Tools/jEdit/src/isabelle.scala
The file was modified src/Tools/jEdit/src/isabelle_options.scala
The file was modified src/Tools/jEdit/src/jedit_rendering.scala
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
The file was modified src/Pure/build-jars
The file was modified src/Tools/VSCode/README.md
The file was modified src/Tools/VSCode/extension/README.md
The file was modified src/Tools/VSCode/src/grammar.scala
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
The file was modified src/Tools/VSCode/extension/src/extension.ts
The file was modified src/Tools/VSCode/src/vscode_rendering.scala
The file was modified src/Tools/VSCode/src/vscode_resources.scala
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