Diffusion Isabelle 0f051404f487

clarified signature: more options for bash_process;
0f051404f487
Actions

Tags

None

Subscribers

None

Description

clarified signature: more options for bash_process;

Details

Provenance

Authored on

Parents

rISABELLEbba35ad317ab: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE0f051404f487: clarified signature: more options for bash_process;.Aug 7 2021, 10:23 PM

Changes (11)

Path

Size

src/

HOL/

Tools/

Nunchaku/

nunchaku_tool.ML

Predicate_Compile/

Quickcheck/

narrowing_generators.ML

Sledgehammer/

sledgehammer_prover_atp.ML

Pure/

System/

isabelle_system.ML

isabelle_system.scala

process_result.ML

Tools/

generated_files.ML

rISABELLE0f051404f487

src/HOL/Tools/Nunchaku/nunchaku_tool.ML

Loading...

src/HOL/Tools/Predicate_Compile/code_prolog.ML

Loading...

src/HOL/Tools/Quickcheck/narrowing_generators.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML

Loading...

src/Pure/System/bash.scala

Loading...

src/Pure/System/isabelle_system.ML

Loading...

src/Pure/System/isabelle_system.scala

Loading...

src/Pure/System/process_result.ML

Loading...

src/Pure/Tools/generated_files.ML

Loading...

src/Pure/Tools/ghc.ML

Loading...

src/Pure/Tools/jedit.ML

Loading...