Skip to content
Jenkins
log in
Dashboard
desharna
My Views
All
isabelle-repo
#1144
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Failed
Changes
Summary
clarified startup sequence;
tuned signature;
more robust: provide docking framework via base plugin;
more robust;
tuned headers;
eliminated suspicious Unicode;
auto update;
more PIDE markup;
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 added
src/Tools/jEdit/src-base/dockable.scala
The file was added
src/Tools/jEdit/src-base/jedit_lib.scala
The file was added
src/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 removed
src/Tools/jEdit/src/dockable.scala
The file was removed
src/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)