Skip to content
Jenkins
log in
Dashboard
wenzelm
My Views
All
isabelle-nightly-benchmark
#1163
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Aborted
Changes
Summary
merged
Tidied up more ancient, horrible proofs. Liberalised frac_le
clarified signature: more uniform ML vs. Scala;
clarified names;
clarified names;
Changeset
71696:105d2d42a660
by
paulson
:
merged
Changeset
71695:65489718f4dc
by
paulson _lp15@cam.ac.uk_
:
Tidied up more ancient, horrible proofs. Liberalised frac_le
The file was modified
src/HOL/Fields.thy
(diff)
The file was modified
src/HOL/Hilbert_Choice.thy
(diff)
Changeset
71694:16aa085f9353
by
wenzelm
:
clarified signature: more uniform ML vs. Scala;
The file was modified
src/Pure/Concurrent/isabelle_thread.ML
(diff)
The file was modified
src/Pure/Concurrent/isabelle_thread.scala
(diff)
The file was modified
src/Pure/Tools/debugger.ML
(diff)
Changeset
71693:f249b5c0fea2
by
wenzelm
:
clarified names;
The file was modified
src/Pure/Concurrent/isabelle_thread.ML
(diff)
The file was modified
src/Pure/Concurrent/isabelle_thread.scala
(diff)
Changeset
71692:f8e52c0152fe
by
wenzelm
:
clarified names;
The file was added
src/Pure/Concurrent/isabelle_thread.ML
The file was added
src/Pure/Concurrent/isabelle_thread.scala
The file was modified
src/HOL/Tools/Sledgehammer/async_manager_legacy.ML
(diff)
The file was modified
src/Pure/Concurrent/consumer_thread.scala
(diff)
The file was modified
src/Pure/Concurrent/event_timer.ML
(diff)
The file was modified
src/Pure/Concurrent/future.ML
(diff)
The file was modified
src/Pure/Concurrent/future.scala
(diff)
The file was modified
src/Pure/Concurrent/timeout.ML
(diff)
The file was modified
src/Pure/GUI/gui_thread.scala
(diff)
The file was modified
src/Pure/General/file_watcher.scala
(diff)
The file was modified
src/Pure/PIDE/headless.scala
(diff)
The file was modified
src/Pure/PIDE/prover.scala
(diff)
The file was modified
src/Pure/PIDE/session.scala
(diff)
The file was modified
src/Pure/ROOT.ML
(diff)
The file was modified
src/Pure/System/bash.ML
(diff)
The file was modified
src/Pure/System/command_line.scala
(diff)
The file was modified
src/Pure/System/message_channel.ML
(diff)
The file was modified
src/Pure/Tools/debugger.ML
(diff)
The file was modified
src/Pure/Tools/debugger.scala
(diff)
The file was modified
src/Pure/Tools/server.scala
(diff)
The file was modified
src/Pure/build-jars
(diff)
The file was modified
src/Tools/Haskell/Haskell.thy
(diff)
The file was modified
src/Tools/VSCode/src/server.scala
(diff)
The file was modified
src/Tools/jEdit/src/active.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/session_build.scala
(diff)
The file was removed
src/Pure/Concurrent/standard_thread.ML
The file was removed
src/Pure/Concurrent/standard_thread.scala