Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned signature;
  2. tuned signature;
  3. more robust Document.Pending_Edits: cover all nodes simulataneously, and thus support proper Snapshot.switch; prefer global operations for snapshot() and rendering();
  4. update URL;
  5. clarified signature;
  6. tuned;
  7. tuned;
  8. tuned;
  9. tuned;
  10. tuned;
  11. clarified signature: more explicit types;
  12. merged
  13. merged
  14. used transp_on in assumptions of lemmas Multiset.bex_(least|greatest)_element
  15. added lemma trans_on_lex_prod[simp]
  16. strengthened and renamed lemma trans_converse and added lemma transp_on_conversep
  17. strengthened and renamed trans_reflclI
  18. strengthened and renamed transp_reflclp
  19. strengthened and renamed lemmas preorder.transp_(ge|gr|le|less)
  20. added lemmas trans_on_subset and transp_on_subset
  21. added lemmas trans_onD and transp_onD
  22. added lemmas trans_onI and transp_onI
  23. added lemma transp_on_trans_on_eq[pred_set_conv]
  24. fixed code-generation failure
  25. added predicates trans_on and transp_on and redefined trans and transp to be abbreviations
Changeset 76767:540cd80c5af2 by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
The file was modified src/Tools/jEdit/src/main_plugin.scala (diff)
Changeset 76766:235de80d4b25 by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/PIDE/session.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
The file was modified src/Tools/jEdit/src/main_plugin.scala (diff)
Changeset 76765:c654103e9c9d by wenzelm:
more robust Document.Pending_Edits: cover all nodes simulataneously, and thus support proper Snapshot.switch;<br>prefer global operations for snapshot() and rendering();
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/PIDE/session.scala (diff)
The file was modified src/Tools/VSCode/src/dynamic_output.scala (diff)
The file was modified src/Tools/VSCode/src/language_server.scala (diff)
The file was modified src/Tools/VSCode/src/preview_panel.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_model.scala (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)
The file was modified src/Tools/jEdit/jedit_main/isabelle_sidekick.scala (diff)
The file was modified src/Tools/jEdit/src/active.scala (diff)
The file was modified src/Tools/jEdit/src/completion_popup.scala (diff)
The file was modified src/Tools/jEdit/src/debugger_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
The file was modified src/Tools/jEdit/src/document_view.scala (diff)
The file was modified src/Tools/jEdit/src/isabelle.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_editor.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_spell_checker.scala (diff)
The file was modified src/Tools/jEdit/src/main_plugin.scala (diff)
The file was modified src/Tools/jEdit/src/text_overview.scala (diff)
The file was modified src/Tools/jEdit/src/text_structure.scala (diff)
Changeset 76764:10f155d5f34b by wenzelm:
update URL;
The file was modified src/Doc/System/Scala.thy (diff)
Changeset 76763:e9c48303ed11 by wenzelm:
clarified signature;
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 76762:bb705a68b471 by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 76761:d062c7f4f2d1 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/session.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_model.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 76760:9766a2a57182 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/document.scala (diff)
Changeset 76759:35f41096de36 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/document.scala (diff)
Changeset 76758:8fc7157485d8 by wenzelm:
tuned;
The file was modified src/Pure/Thy/document_build.scala (diff)
Changeset 76757:0d08ee0c1ea0 by wenzelm:
clarified signature: more explicit types;
The file was modified src/Pure/Thy/document_build.scala (diff)
Changeset 76756:907b5c4d1332 by desharna:
merged
Changeset 76755:c507162fe36e by desharna:
merged
Changeset 76754:b5f4ae037fe2 by desharna:
used transp_on in assumptions of lemmas Multiset.bex_(least|greatest)_element
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)
Changeset 76753:91d2903bfbcb by desharna:
added lemma trans_on_lex_prod[simp]
The file was modified NEWS (diff)
The file was modified src/HOL/Wellfounded.thy (diff)
Changeset 76752:66cae055ac7b by desharna:
strengthened and renamed lemma trans_converse and added lemma transp_on_conversep
The file was modified NEWS (diff)
The file was modified src/HOL/Relation.thy (diff)
Changeset 76751:66f17783913b by desharna:
strengthened and renamed trans_reflclI
The file was modified NEWS (diff)
The file was modified src/HOL/Transitive_Closure.thy (diff)
Changeset 76750:f70a7ff13b10 by desharna:
strengthened and renamed transp_reflclp
The file was modified NEWS (diff)
The file was modified src/HOL/Transitive_Closure.thy (diff)
Changeset 76749:11a24dab1880 by desharna:
strengthened and renamed lemmas preorder.transp_(ge|gr|le|less)
The file was modified NEWS (diff)
The file was modified src/HOL/Data_Structures/Sorted_Less.thy (diff)
The file was modified src/HOL/Library/Complete_Partial_Order2.thy (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)
The file was modified src/HOL/List.thy (diff)
The file was modified src/HOL/Relation.thy (diff)
Changeset 76748:b35ffbe82031 by desharna:
added lemmas trans_on_subset and transp_on_subset
The file was modified NEWS (diff)
The file was modified src/HOL/Relation.thy (diff)
Changeset 76747:53e40173cae5 by desharna:
added lemmas trans_onD and transp_onD
The file was modified NEWS (diff)
The file was modified src/HOL/Relation.thy (diff)
Changeset 76746:76f93e2620fe by desharna:
added lemmas trans_onI and transp_onI
The file was modified NEWS (diff)
The file was modified src/HOL/Relation.thy (diff)
Changeset 76745:201cbd9027fc by desharna:
added lemma transp_on_trans_on_eq[pred_set_conv]
The file was modified NEWS (diff)
The file was modified src/HOL/Relation.thy (diff)
Changeset 76744:44a3e883ccda by desharna:
fixed code-generation failure
The file was modified src/HOL/Relation.thy (diff)
Changeset 76743:d33fc5228aae by desharna:
added predicates trans_on and transp_on and redefined trans and transp to be abbreviations
The file was modified NEWS (diff)
The file was modified src/HOL/Relation.thy (diff)
The file was modified src/HOL/Tools/BNF/bnf_util.ML (diff)