Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified signature: less redundancy;
  2. tuned;
  3. potentially more robust delay_load action: avoid loosing events due to guards;
  4. tuned signature;
  5. tuned;
  6. tuned signature;
  7. more uniform tooltip for plugin options dialog;
  8. tuned signature;
  9. tuned signature;
  10. more uniform session selectors, with persistent options;
  11. tuned;
  12. NEWS
  13. merged
  14. added lemmas asym_if_irrefl_and_trans and asymp_if_irreflp_and_transp
  15. added lemma totalp_on_converse[simp]
  16. added lemmas irrefl_on_converse[simp] and irreflp_on_converse[simp]
  17. added type annotations and tuned formatting
  18. strengthened and renamed irreflp_greater[simp] and irreflp_less[simp]
Changeset 76587:6cd6c553b480 by wenzelm:
clarified signature: less redundancy;
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 76586:127ee77c24ff by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/main_plugin.scala (diff)
Changeset 76585:1b7bb4f8c0f4 by wenzelm:
potentially more robust delay_load action: avoid loosing events due to guards;
The file was modified src/Tools/jEdit/src/main_plugin.scala (diff)
Changeset 76584:017384868fcb by wenzelm:
tuned signature;
The file was modified src/Tools/jEdit/src/main_plugin.scala (diff)
Changeset 76583:c9f897077089 by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/jedit_spell_checker.scala (diff)
Changeset 76582:71942a6af4ed by wenzelm:
tuned signature;
The file was modified src/Tools/jEdit/src/jedit_spell_checker.scala (diff)
Changeset 76581:e5bf43eda6ed by wenzelm:
more uniform tooltip for plugin options dialog;
The file was modified src/Tools/jEdit/src/jedit_sessions.scala (diff)
Changeset 76580:699d9a219e45 by wenzelm:
tuned signature;
The file was modified src/Tools/jEdit/src/document_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_sessions.scala (diff)
The file was modified src/Tools/jEdit/src/theories_dockable.scala (diff)
Changeset 76579:c79b43c1c7ab by wenzelm:
tuned signature;
The file was modified src/Pure/System/options.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_options.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_sessions.scala (diff)
Changeset 76578:06b001094ddb by wenzelm:
more uniform session selectors, with persistent options;
The file was modified etc/options (diff)
The file was modified src/Tools/jEdit/etc/options (diff)
The file was modified src/Tools/jEdit/src/document_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_options.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_sessions.scala (diff)
Changeset 76577:c662a56e77a8 by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/document_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/monitor_dockable.scala (diff)
Changeset 76576:6714991edf8b by desharna:
NEWS
The file was modified NEWS (diff)
Changeset 76575:66addfbb0923 by desharna:
merged
Changeset 76574:7bc934b99faf by desharna:
added lemmas asym_if_irrefl_and_trans and asymp_if_irreflp_and_transp
The file was modified NEWS (diff)
The file was modified src/HOL/Relation.thy (diff)
Changeset 76573:cbf38b7cb195 by desharna:
added lemma totalp_on_converse[simp]
The file was modified NEWS (diff)
The file was modified src/HOL/Relation.thy (diff)
Changeset 76572:d8542bc5a3fa by desharna:
added lemmas irrefl_on_converse[simp] and irreflp_on_converse[simp]
The file was modified NEWS (diff)
The file was modified src/HOL/Relation.thy (diff)
Changeset 76571:5a13f1519f5d by desharna:
added type annotations and tuned formatting
The file was modified NEWS (diff)
The file was modified src/HOL/Relation.thy (diff)
Changeset 76570:608489919ecf by desharna:
strengthened and renamed irreflp_greater[simp] and irreflp_less[simp]
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)
The file was modified src/HOL/Relation.thy (diff)