Diffusion Isabelle d7eb6a4522b8

more explicit snapshot of "_state" and "_database";
d7eb6a4522b8
Actions

Tags

None

Subscribers

None

Description

more explicit snapshot of "_state" and "_database";

Details

Provenance

Authored on

Parents

rISABELLE4240e9528586: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEd7eb6a4522b8: more explicit snapshot of "_state" and "_database";.Mar 14 2023, 7:19 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

build_process.scala

rISABELLEd7eb6a4522b8

src/Pure/Tools/build_process.scala

Loading...