Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. more robust "stop": further "stamp" ticks may happen afterwards;
  3. removed junk;
  4. tuned signature;
  5. tuned: prefer Scala over Java;
  6. clarified signature;
  7. tuned;
  8. more SQL data;
  9. add proof method "order" to command "try0"
Changeset 78247:d4125fc10c0c by wenzelm:
merged
Changeset 78246:76dd9b9cf624 by wenzelm:
more robust "stop": further "stamp" ticks may happen afterwards;
The file was modified src/Pure/System/progress.scala (diff)
The file was modified src/Pure/Tools/build_process.scala (diff)
Changeset 78245:eca6ae2a09d7 by wenzelm:
removed junk;
The file was modified src/Pure/Tools/build_process.scala (diff)
Changeset 78244:635ba0cbfe60 by wenzelm:
tuned signature;
The file was modified src/Pure/Tools/build_process.scala (diff)
Changeset 78243:0e221a8128e4 by wenzelm:
tuned: prefer Scala over Java;
The file was modified src/HOL/Tools/Nitpick/kodkod.scala (diff)
The file was modified src/Pure/Concurrent/counter.scala (diff)
The file was modified src/Pure/GUI/wrap_panel.scala (diff)
The file was modified src/Pure/General/bytes.scala (diff)
The file was modified src/Pure/General/file.scala (diff)
The file was modified src/Pure/General/http.scala (diff)
The file was modified src/Pure/General/scan.scala (diff)
The file was modified src/Pure/PIDE/text.scala (diff)
The file was modified src/Pure/Tools/build_process.scala (diff)
The file was modified src/Tools/Graphview/mutator_dialog.scala (diff)
The file was modified src/Tools/jEdit/src/debugger_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/query_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/rich_text_area.scala (diff)
The file was modified src/Tools/jEdit/src/syntax_style.scala (diff)
Changeset 78242:633ae08625d1 by wenzelm:
clarified signature;
The file was modified src/Pure/System/progress.scala (diff)
The file was modified src/Pure/Tools/build_process.scala (diff)
Changeset 78241:39e1562e69cd by wenzelm:
tuned;
The file was modified src/Pure/Tools/build_process.scala (diff)
Changeset 78240:1ddbeb791f30 by wenzelm:
more SQL data;
The file was modified src/Pure/System/progress.scala (diff)
The file was modified src/Pure/Tools/build_process.scala (diff)
Changeset 78239:4fe65149f3fd by desharna:
add proof method "order" to command "try0"
The file was modified NEWS (diff)
The file was modified src/HOL/Tools/try0.ML (diff)