Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. misc tuning and modernization;
  3. maintain "consolidated" status of theory nodes, which means all evals are finished (but not necessarily prints nor imports);
  4. clarified signature;
  5. tuned;
  6. Merged
  7. Merged
  8. Merged
  9. Removed unnecessary constant 'ball' from Formal_Power_Series
Changeset 66381:429b55991197 by wenzelm:
merged
Changeset 66380:96ff0eb8294a by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Number_Theory/Cong.thy (diff)
Changeset 66379:6392766f3c25 by wenzelm:
maintain "consolidated" status of theory nodes, which means all evals are finished (but not necessarily prints nor imports);
The file was modified etc/options (diff)
The file was modified src/Pure/PIDE/command.ML (diff)
The file was modified src/Pure/PIDE/command.scala (diff)
The file was modified src/Pure/PIDE/document.ML (diff)
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/PIDE/markup.ML (diff)
The file was modified src/Pure/PIDE/markup.scala (diff)
The file was modified src/Pure/PIDE/protocol.ML (diff)
The file was modified src/Pure/PIDE/protocol.scala (diff)
The file was modified src/Pure/PIDE/session.scala (diff)
Changeset 66378:53a6c5d4d03e by wenzelm:
clarified signature;
The file was modified src/Pure/Concurrent/future.ML (diff)
The file was modified src/Pure/Concurrent/task_queue.ML (diff)
The file was modified src/Pure/PIDE/execution.ML (diff)
Changeset 66377:753eb5b83370 by wenzelm:
tuned;
The file was modified src/Pure/Thy/thy_info.ML (diff)
Changeset 66376:1b70820dc6ba by eberlm _eberlm@in.tum.de_:
Merged
Changeset 66375:a8b89392ecb6 by eberlm _eberlm@in.tum.de_:
Merged
Changeset 66374:1f66c7d77002 by eberlm _eberlm@in.tum.de_:
Merged
Changeset 66373:56f8bfe1211c by eberlm _eberlm@in.tum.de_:
Removed unnecessary constant 'ball' from Formal_Power_Series
The file was modified src/HOL/Computational_Algebra/Formal_Power_Series.thy (diff)