Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified startup sequence;
  2. tuned signature;
  3. more robust: provide docking framework via base plugin;
  4. more robust;
  5. tuned headers;
  6. eliminated suspicious Unicode;
  7. auto update;
  8. more PIDE markup;
  9. merged
  10. more facts on Map.map_of and List.zip
  11. more facts on Map.ran
  12. another fact on (- 1) ^ _
  13. Update header of locale.ML
Changeset 66593:d389714a8aaa by wenzelm:
clarified startup sequence;
The file was modified src/Tools/jEdit/src-base/plugin.scala (diff)
The file was modified src/Tools/jEdit/src/plugin.scala (diff)
Changeset 66592:cc93f86e005f by wenzelm:
tuned signature;
The file was modified src/Tools/jEdit/src/jedit_lib.scala (diff)
The file was modified src/Tools/jEdit/src/pretty_tooltip.scala (diff)
Changeset 66591:6efa351190d0 by wenzelm:
more robust: provide docking framework via base plugin;
The file was addedsrc/Tools/jEdit/src-base/dockable.scala
The file was addedsrc/Tools/jEdit/src-base/jedit_lib.scala
The file was addedsrc/Tools/jEdit/src-base/pide_docking_framework.scala
The file was modified src/Tools/jEdit/lib/Tools/jedit (diff)
The file was modified src/Tools/jEdit/src-base/services.xml (diff)
The file was modified src/Tools/jEdit/src/debugger_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/documentation_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/graphview_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/info_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_lib.scala (diff)
The file was modified src/Tools/jEdit/src/monitor_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/output_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/pretty_tooltip.scala (diff)
The file was modified src/Tools/jEdit/src/protocol_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/query_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/raw_output_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/services.xml (diff)
The file was modified src/Tools/jEdit/src/simplifier_trace_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/sledgehammer_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/state_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/symbols_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/syslog_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/theories_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/timing_dockable.scala (diff)
The file was removedsrc/Tools/jEdit/src/dockable.scala
The file was removedsrc/Tools/jEdit/src/pide_docking_framework.scala
Changeset 66590:8e1aac4eed11 by wenzelm:
more robust;
The file was modified src/Tools/jEdit/lib/Tools/jedit (diff)
The file was modified src/Tools/jEdit/src-base/plugin.scala (diff)
The file was modified src/Tools/jEdit/src/plugin.scala (diff)
Changeset 66589:b884c42694e0 by wenzelm:
tuned headers;
The file was modified src/HOL/Factorial.thy (diff)
The file was modified src/Tools/VSCode/src/vscode_javascript.scala (diff)
Changeset 66588:e0e3065c63ba by wenzelm:
eliminated suspicious Unicode;
The file was modified src/Pure/Isar/locale.ML (diff)
Changeset 66587:bfabccdad18e by wenzelm:
auto update;
The file was modified Admin/components/components.sha1 (diff)
Changeset 66586:e5e56c330976 by wenzelm:
more PIDE markup;
The file was modified src/Tools/Code/code_target.ML (diff)
Changeset 66585:75c090d0e699 by bulwahn:
merged
Changeset 66584:acb02fa48ef3 by bulwahn:
more facts on Map.map_of and List.zip
The file was modified src/HOL/List.thy (diff)
The file was modified src/HOL/Map.thy (diff)
Changeset 66583:ac183ddc9fef by bulwahn:
more facts on Map.ran
The file was modified src/HOL/Map.thy (diff)
Changeset 66582:2b49d4888cb8 by bulwahn:
another fact on (- 1) ^ _
The file was modified src/HOL/Parity.thy (diff)
Changeset 66581:72bb0eefd148 by ballarin:
Update header of locale.ML
The file was modified src/Pure/Isar/locale.ML (diff)