Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. tuned whitespace
  2. tunin
  3. tuning
  4. added lemmas
  5. added omega notation (+ improved ROOT file)
  6. use abbreviation for omega
  7. added Goodstein sequence example
  8. added multiset lemma
  9. added lemma + tweaked docs
Changeset 7703:e73b2178df9d by blanchet:
tuned whitespace
The file was modified thys/Nested_Multisets_Ordinals/Goodstein_Sequence.thy
Changeset 7702:79d51e806974 by blanchet:
tunin
The file was modified thys/Nested_Multisets_Ordinals/Goodstein_Sequence.thy
Changeset 7701:c05a6cfd853e by blanchet:
tuning
The file was modified thys/Nested_Multisets_Ordinals/Goodstein_Sequence.thy
Changeset 7700:97a4eb28ed82 by blanchet:
added lemmas
The file was modified thys/Nested_Multisets_Ordinals/Hydra_Battle.thy
The file was modified thys/Nested_Multisets_Ordinals/Syntactic_Ordinal.thy
Changeset 7699:b4992a3c610d by blanchet:
added omega notation (+ improved ROOT file)
The file was modified thys/Nested_Multisets_Ordinals/Goodstein_Sequence.thy
The file was modified thys/Nested_Multisets_Ordinals/Hydra_Battle.thy
The file was modified thys/Nested_Multisets_Ordinals/Multiset_More.thy
The file was modified thys/Nested_Multisets_Ordinals/ROOT
The file was modified thys/Nested_Multisets_Ordinals/Signed_Syntactic_Ordinal.thy
The file was modified thys/Nested_Multisets_Ordinals/Syntactic_Ordinal.thy
The file was modified thys/Nested_Multisets_Ordinals/Syntactic_Ordinal_Bridge.thy
Changeset 7698:ed5d5755367c by blanchet:
use abbreviation for omega
The file was modified thys/Nested_Multisets_Ordinals/Signed_Syntactic_Ordinal.thy
The file was modified thys/Nested_Multisets_Ordinals/Syntactic_Ordinal.thy
The file was modified thys/Nested_Multisets_Ordinals/Syntactic_Ordinal_Bridge.thy
Changeset 7697:986cff89467d by blanchet:
added Goodstein sequence example
The file was addedthys/Nested_Multisets_Ordinals/Goodstein_Sequence.thy
The file was modified thys/Nested_Multisets_Ordinals/ROOT
Changeset 7696:a6cc29a6a6ca by blanchet:
added multiset lemma
The file was modified thys/Nested_Multisets_Ordinals/Multiset_More.thy
Changeset 7695:50e175f87db0 by blanchet:
added lemma + tweaked docs
The file was modified thys/Nested_Multisets_Ordinals/Hereditary_Multiset.thy
The file was modified thys/Nested_Multisets_Ordinals/Hydra_Battle.thy
The file was modified thys/Nested_Multisets_Ordinals/McCarthy_91.thy

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

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
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
Changeset 65176:908d8be90533 by wenzelm:
suppress irrelevant markup for VSCode;
The file was modified src/Pure/PIDE/markup.scala
The file was modified src/Pure/PIDE/rendering.scala
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/jEdit/src/rich_text_area.scala
Changeset 65175:93fb59c68052 by wenzelm:
tuned colors;
The file was modified src/Tools/VSCode/extension/package.json
The file was modified src/Tools/VSCode/src/grammar.scala
Changeset 65174:c0388fbd8096 by wenzelm:
avoid extra decorations for regular command keywords;
The file was modified src/Pure/Isar/token.ML
The file was modified src/Tools/VSCode/src/vscode_rendering.scala
Changeset 65173:3700be571a01 by wenzelm:
more compact protocol message;
The file was modified src/Tools/VSCode/extension/src/decorations.ts
The file was modified src/Tools/VSCode/src/protocol.scala
The file was modified src/Tools/VSCode/src/vscode_rendering.scala
Changeset 65172:365e97f009ed by wenzelm:
default cygwin_root from Isabelle distribution;
The file was modified src/Tools/VSCode/extension/README.md
The file was modified src/Tools/VSCode/extension/package.json
The file was modified src/Tools/VSCode/extension/src/extension.ts
Changeset 65171:63655086649f by wenzelm:
prefer type equality;
The file was modified src/Tools/VSCode/extension/src/decorations.ts
The file was modified src/Tools/VSCode/extension/src/extension.ts
Changeset 65170:53675f36820d by haftmann:
restored surj as output abbreviation, amending 6af79184bef3
The file was modified NEWS
The file was modified src/HOL/Fun.thy