Changes

Summary

clarified signature: more options for bash_process;
tuned signature;
clarified signature;
clarified signature;
follow phabricator 2021 Week 26; follow arcanist 2021 Week 23;

Changeset 74142:0f051404f487 by wenzelm: clarified signature: more options for bash_process;
The file was modified	`src/HOL/Tools/Nunchaku/nunchaku_tool.ML` (diff)
The file was modified	`src/HOL/Tools/Predicate_Compile/code_prolog.ML` (diff)
The file was modified	`src/HOL/Tools/Quickcheck/narrowing_generators.ML` (diff)
The file was modified	`src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML` (diff)
The file was modified	`src/Pure/System/bash.scala` (diff)
The file was modified	`src/Pure/System/isabelle_system.ML` (diff)
The file was modified	`src/Pure/System/isabelle_system.scala` (diff)
The file was modified	`src/Pure/System/process_result.ML` (diff)
The file was modified	`src/Pure/Tools/generated_files.ML` (diff)
The file was modified	`src/Pure/Tools/ghc.ML` (diff)
The file was modified	`src/Pure/Tools/jedit.ML` (diff)
Changeset 74141:bba35ad317ab by wenzelm: tuned signature;
The file was modified	`src/Pure/ML/ml_console.scala` (diff)
The file was modified	`src/Pure/PIDE/prover.scala` (diff)
The file was modified	`src/Pure/System/bash.scala` (diff)
The file was modified	`src/Pure/System/tty_loop.scala` (diff)
The file was modified	`src/Pure/Tools/server.scala` (diff)
Changeset 74140:8a5e02ef975c by wenzelm: clarified signature;
The file was modified	`src/Pure/Concurrent/consumer_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/System/command_line.scala` (diff)
The file was modified	`src/Pure/Tools/server.scala` (diff)
Changeset 74139:3314559ef095 by wenzelm: clarified signature;
The file was modified	`src/Pure/Tools/server.scala` (diff)
Changeset 74138:cdac9e1f9bd1 by wenzelm: follow phabricator 2021 Week 26;<br>follow arcanist 2021 Week 23;
The file was modified	`etc/options` (diff)