Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. more operations;
  3. clarified proof: save 1-2s CPU time;
  4. tuned;
  5. strictly sequential abbrevs;
  6. clarified obscure facts;
  7. clarified modules;
  8. clarified modules;
  9. standardized alias;
Changeset 63812:5f8643e8ced5 by wenzelm:
merged
Changeset 63811:3a75593e9b6d by wenzelm:
more operations;
The file was modified src/Pure/General/sqlite.scala (diff)
Changeset 63810:67b091896158 by wenzelm:
clarified proof: save 1-2s CPU time;
The file was modified src/HOL/Complete_Partial_Order.thy (diff)
Changeset 63809:56670ab6f55e by wenzelm:
tuned;
The file was modified src/Pure/Isar/keyword.scala (diff)
The file was modified src/Tools/jEdit/src/isabelle.scala (diff)
Changeset 63808:e8462a4349fc by wenzelm:
strictly sequential abbrevs;
The file was modified src/Pure/General/completion.scala (diff)
The file was modified src/Pure/Pure.thy (diff)
Changeset 63807:5f77017055a3 by wenzelm:
clarified obscure facts;
The file was modified NEWS (diff)
The file was modified src/HOL/Analysis/Polytope.thy (diff)
The file was modified src/HOL/Hilbert_Choice.thy (diff)
The file was modified src/HOL/UNITY/Rename.thy (diff)
Changeset 63806:c54a53ef1873 by wenzelm:
clarified modules;
The file was addedsrc/HOL/Tools/value_command.ML
The file was addedsrc/Pure/General/value.ML
The file was modified src/HOL/Code_Evaluation.thy (diff)
The file was modified src/HOL/Library/code_test.ML (diff)
The file was modified src/HOL/Mirabelle/Tools/mirabelle_sledgehammer.ML (diff)
The file was modified src/HOL/Mirabelle/Tools/mirabelle_sledgehammer_filter.ML (diff)
The file was modified src/Pure/Concurrent/future.ML (diff)
The file was modified src/Pure/Concurrent/par_exn.ML (diff)
The file was modified src/Pure/Concurrent/task_queue.ML (diff)
The file was modified src/Pure/General/position.ML (diff)
The file was modified src/Pure/Isar/parse.ML (diff)
The file was modified src/Pure/ML/ml_compiler.ML (diff)
The file was modified src/Pure/ML/ml_statistics.ML (diff)
The file was modified src/Pure/PIDE/document_id.ML (diff)
The file was modified src/Pure/PIDE/markup.ML (diff)
The file was modified src/Pure/PIDE/protocol.ML (diff)
The file was modified src/Pure/PIDE/xml.ML (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/Syntax/syntax_ext.ML (diff)
The file was modified src/Pure/System/isabelle_process.ML (diff)
The file was modified src/Pure/System/options.ML (diff)
The file was modified src/Pure/Thy/html.ML (diff)
The file was modified src/Pure/Tools/debugger.ML (diff)
The file was modified src/Pure/Tools/simplifier_trace.ML (diff)
The file was modified src/Pure/config.ML (diff)
The file was removedsrc/HOL/Tools/value.ML
Changeset 63805:c272680df665 by wenzelm:
clarified modules;
The file was addedsrc/Pure/General/value.scala
The file was modified src/Pure/Concurrent/standard_thread.scala (diff)
The file was modified src/Pure/General/properties.scala (diff)
The file was modified src/Pure/ML/ml_syntax.scala (diff)
The file was modified src/Pure/PIDE/document_id.scala (diff)
The file was modified src/Pure/PIDE/protocol.scala (diff)
The file was modified src/Pure/PIDE/query_operation.scala (diff)
The file was modified src/Pure/System/bash.scala (diff)
The file was modified src/Pure/System/options.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/build_doc.scala (diff)
The file was modified src/Pure/Tools/build_stats.scala (diff)
The file was modified src/Pure/Tools/debugger.scala (diff)
The file was modified src/Pure/Tools/simplifier_trace.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was modified src/Tools/jEdit/src/monitor_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/query_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/timing_dockable.scala (diff)
Changeset 63804:70554522bf98 by wenzelm:
standardized alias;
The file was modified src/HOL/ex/Set_Theory.thy (diff)