Skip to content
Jenkins
log in
Dashboard
isabelle-nightly-benchmark
#232
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Success
Changes
Summary
added lemma
tuned whitespace;
more robust: delay switches thread context from timer to GUI and may get out of sync with revoke operation;
tuned signature;
tuned signature;
Changeset
64886:cea327ecb8e3
by
blanchet
:
added lemma
The file was modified
src/HOL/Library/Sublist.thy
(diff)
The file was modified
src/HOL/List.thy
(diff)
Changeset
64885:205274ca16ee
by
wenzelm
:
tuned whitespace;
The file was modified
src/Tools/jEdit/src/document_model.scala
(diff)
Changeset
64884:b2e78c0ce537
by
wenzelm
:
more robust: delay switches thread context from timer to GUI and may get out of sync with revoke operation;
The file was modified
src/Tools/jEdit/src/rich_text_area.scala
(diff)
The file was modified
src/Tools/jEdit/src/text_overview.scala
(diff)
Changeset
64883:e89f5ef32aa2
by
wenzelm
:
tuned signature;
The file was modified
src/Tools/jEdit/src/document_model.scala
(diff)
The file was modified
src/Tools/jEdit/src/plugin.scala
(diff)
Changeset
64882:c3b42ac0cf81
by
wenzelm
:
tuned signature;
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_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/plugin.scala
(diff)
The file was modified
src/Tools/jEdit/src/spell_checker.scala
(diff)
The file was modified
src/Tools/jEdit/src/text_structure.scala
(diff)
The file was modified
src/Tools/jEdit/src/timing_dockable.scala
(diff)