Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. strict bash invocation: proper error checking;
  2. more robust system channel via options that are private to the user;
  3. tuned messages;
Changeset 69573:c7a69b6cd405 by wenzelm:
strict bash invocation: proper error checking;
The file was modified src/Pure/ML/ml_process.scala (diff)
Changeset 69572:09a6a7c04b45 by wenzelm:
more robust system channel via options that are private to the user;
The file was modified etc/options (diff)
The file was modified src/Pure/ML/ml_process.scala (diff)
The file was modified src/Pure/PIDE/prover.scala (diff)
The file was modified src/Pure/System/isabelle_process.ML (diff)
The file was modified src/Pure/System/isabelle_process.scala (diff)
The file was modified src/Pure/System/system_channel.scala (diff)
Changeset 69571:676182f2e375 by wenzelm:
tuned messages;
The file was modified src/Pure/Tools/dump.scala (diff)
The file was modified src/Pure/Tools/update.scala (diff)