Diffusion Isabelle 7d7786585ab0

more diagnostic operations (see also 5c7652e9bc01);
7d7786585ab0
Actions

Tags

None

Subscribers

None

Description

more diagnostic operations (see also 5c7652e9bc01);

Details

Provenance

Authored on

Parents

rISABELLE9b35c1171d9a: more thorough consolidation: follow dependencies of forked proofs (e.g. see…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE7d7786585ab0: more diagnostic operations (see also 5c7652e9bc01);.Feb 5 2023, 8:09 PM

Changes (1)

Path

Size

src/

Pure/

PIDE/

rISABELLE7d7786585ab0

src/Pure/PIDE/session.scala

Loading...