Diffusion Isabelle 0e7a3c055f39

clarified uses of Isabelle_System.bash_process: more checks, fewer messages;
0e7a3c055f39
Actions

Tags

None

Subscribers

None

Description

clarified uses of Isabelle_System.bash_process: more checks, fewer messages;

Details

Provenance

Authored on

Parents

rISABELLEa97ae083cad1: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE0e7a3c055f39: clarified uses of Isabelle_System.bash_process: more checks, fewer messages;.Feb 22 2021, 10:06 PM

Changes (2)

Path

Size

src/

HOL/

Tools/

Predicate_Compile/

Quickcheck/

narrowing_generators.ML

rISABELLE0e7a3c055f39

src/HOL/Tools/Predicate_Compile/code_prolog.ML

Loading...

src/HOL/Tools/Quickcheck/narrowing_generators.ML

Loading...