avoid "exec" to change the winpid;
51b291ae3e2d
Actions

Description

avoid "exec" to change the winpid;

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (6)

Path

Size

lib/

Tools/

src/

HOL/

Tools/

Sledgehammer/

Pure/

ML/

System/

rISABELLE51b291ae3e2d

lib/Tools/env

src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML

src/Pure/ML/ml_process.scala

src/Pure/ML/ml_statistics.scala

src/Pure/System/bash.scala

src/Pure/System/isabelle_system.ML

avoid "exec" to change the winpid;51b291ae3e2dActions

Description

Details

Changes (6)

rISABELLE51b291ae3e2d

lib/Tools/env

src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML

src/Pure/ML/ml_process.scala

src/Pure/ML/ml_statistics.scala

src/Pure/System/bash.scala

src/Pure/System/isabelle_system.ML

avoid "exec" to change the winpid;
51b291ae3e2d
Actions