Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper use of flag;
  2. clarified signature;
  3. tuned names;
  4. finally expose interrupt, similar to ML;
  5. Standard_Thread for isabelle command-line tools;
  6. tuned -- Command_Line.tool is already part of Isabelle_Tool;
  7. clarified signature;
  8. clarified signature;
  9. thread pool with Standard_Thread workers; tuned signature;
  10. clarified signature;
  11. support for uninterruptible execution;
Changeset 71691:d682b4000a77 by wenzelm:
proper use of flag;
The file was modified src/Pure/Concurrent/standard_thread.scala (diff)
Changeset 71690:fef74c06cfac by wenzelm:
clarified signature;
The file was modified src/Pure/Concurrent/future.scala (diff)
The file was modified src/Pure/Concurrent/standard_thread.scala (diff)
Changeset 71689:b3f738f12a9a by wenzelm:
tuned names;
The file was modified src/Pure/General/file_watcher.scala (diff)
The file was modified src/Pure/System/command_line.scala (diff)
Changeset 71688:220d19f3e074 by wenzelm:
finally expose interrupt, similar to ML;
The file was modified src/Pure/Concurrent/standard_thread.scala (diff)
Changeset 71687:f17be1db8381 by wenzelm:
Standard_Thread for isabelle command-line tools;
The file was modified src/Pure/System/command_line.scala (diff)
Changeset 71686:eb44cf7ae926 by wenzelm:
tuned -- Command_Line.tool is already part of Isabelle_Tool;
The file was modified src/Pure/Admin/build_polyml.scala (diff)
The file was modified src/Pure/Tools/profiling_report.scala (diff)
Changeset 71685:d5773922358d by wenzelm:
clarified signature;
The file was modified src/Pure/Concurrent/consumer_thread.scala (diff)
The file was modified src/Pure/Concurrent/future.scala (diff)
The file was modified src/Pure/Concurrent/standard_thread.scala (diff)
The file was modified src/Pure/General/file_watcher.scala (diff)
The file was modified src/Pure/PIDE/prover.scala (diff)
The file was modified src/Pure/Tools/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)
Changeset 71684:5036edb025b7 by wenzelm:
clarified signature;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was modified src/Pure/General/mercurial.scala (diff)
The file was modified src/Pure/General/ssh.scala (diff)
The file was modified src/Pure/General/time.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/System/bash.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/server.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
The file was modified src/Tools/jEdit/src/scala_console.scala (diff)
Changeset 71683:fd487d261169 by wenzelm:
thread pool with Standard_Thread workers;<br>tuned signature;
The file was modified src/Pure/Concurrent/standard_thread.scala (diff)
Changeset 71682:c467a682f700 by wenzelm:
clarified signature;
The file was modified src/Pure/Concurrent/standard_thread.scala (diff)
Changeset 71681:3622eea18e39 by wenzelm:
support for uninterruptible execution;
The file was modified src/Pure/Concurrent/standard_thread.scala (diff)