Diffusion Isabelle c5c747ce46d2

proper update of non-committed theories (see also 2bf1d0e57695, 2a1583baaaa0);
c5c747ce46d2
Actions

Tags

None

Subscribers

None

Description

proper update of non-committed theories (see also 2bf1d0e57695, 2a1583baaaa0);

Details

Provenance

Authored on

Parents

rISABELLEcf57fd4dd27b: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc5c747ce46d2: proper update of non-committed theories (see also 2bf1d0e57695, 2a1583baaaa0);.Oct 15 2022, 4:09 PM

Changes (1)

Path

Size

src/

Pure/

PIDE/

rISABELLEc5c747ce46d2

src/Pure/PIDE/headless.scala

Loading...