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. Introduce new effect parameter f to accommodate open bisimilarity
Changeset 7705:d3cd2fd39e31 by tjark weber _tjark.weber@it.uu.se_:
merged
Changeset 7704:14c750fd0fdd by tjark weber _tjark.weber@it.uu.se_:
Introduce new effect parameter f to accommodate open bisimilarity
The file was modified thys/Modal_Logics_for_NTS/FL_Bisimilarity_Implies_Equivalence.thy
The file was modified thys/Modal_Logics_for_NTS/FL_Equivalence_Implies_Bisimilarity.thy
The file was modified thys/Modal_Logics_for_NTS/FL_Formula.thy
The file was modified thys/Modal_Logics_for_NTS/FL_Transition_System.thy
The file was modified thys/Modal_Logics_for_NTS/L_Transform.thy

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

Summary

  1. updated package;
  2. dynamic output, depending on caret focus (see also Tools/jEdit/src/output_dockable.scala);
  3. tuned;
  4. support for caret handling and dynamic output;
  5. more complete exception handling;
  6. tuned;
  7. tuned;
  8. tuned colors;
  9. apply multiple edits bottom-to-top as specified in the protocol definition (assuming canonical order);
  10. tuned colors;
  11. proper Map operations; re-init decorations after configuration change;
  12. tuned colors according to Light+ and Dark+ themes;
  13. tuned signature;
Changeset 65192:7b8dc3910b96 by wenzelm:
updated package;
The file was modified src/Tools/VSCode/extension/package.json
Changeset 65191:4c9c83311cad by wenzelm:
dynamic output, depending on caret focus (see also Tools/jEdit/src/output_dockable.scala);
The file was addedsrc/Tools/VSCode/src/dynamic_output.scala
The file was modified src/Pure/build-jars
The file was modified src/Tools/VSCode/extension/src/extension.ts
The file was modified src/Tools/VSCode/src/document_model.scala
The file was modified src/Tools/VSCode/src/server.scala
The file was modified src/Tools/VSCode/src/vscode_resources.scala
Changeset 65190:0dd2ad9dbfc2 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/rendering.scala
The file was modified src/Tools/jEdit/src/jedit_rendering.scala
The file was modified src/Tools/jEdit/src/output_dockable.scala
Changeset 65189:41d2452845fc by wenzelm:
support for caret handling and dynamic output;
The file was modified src/Tools/VSCode/extension/src/extension.ts
The file was modified src/Tools/VSCode/src/protocol.scala
The file was modified src/Tools/VSCode/src/server.scala
The file was modified src/Tools/VSCode/src/vscode_resources.scala
Changeset 65188:50cfc6775361 by wenzelm:
more complete exception handling;
The file was modified src/Pure/General/url.scala
Changeset 65187:9250f944ec0f by wenzelm:
tuned;
The file was modified src/Pure/PIDE/document.scala
The file was modified src/Tools/jEdit/src/jedit_editor.scala
Changeset 65186:4659e87c3795 by wenzelm:
tuned;
The file was modified src/Tools/VSCode/extension/src/extension.ts
Changeset 65185:663bb1614d23 by wenzelm:
tuned colors;
The file was modified src/Tools/VSCode/extension/package.json
Changeset 65184:0f555ce33970 by wenzelm:
apply multiple edits bottom-to-top as specified in the protocol definition (assuming canonical order);
The file was modified src/Tools/VSCode/src/server.scala
Changeset 65183:37f1effd6683 by wenzelm:
tuned colors;
The file was modified src/Tools/VSCode/extension/package.json
Changeset 65182:973b7669e7d9 by wenzelm:
proper Map operations;<br>re-init decorations after configuration change;
The file was modified src/Tools/VSCode/extension/src/decorations.ts
The file was modified src/Tools/VSCode/extension/src/extension.ts
Changeset 65181:b4105202751c by wenzelm:
tuned colors according to Light+ and Dark+ themes;
The file was modified src/Tools/VSCode/extension/package.json
The file was modified src/Tools/VSCode/extension/src/decorations.ts
Changeset 65180:b5a8f27a4980 by wenzelm:
tuned signature;
The file was modified src/Tools/VSCode/extension/src/decorations.ts
The file was modified src/Tools/VSCode/extension/src/extension.ts