Diffusion Isabelle 4c9296390f20

more accurate output: avoid output_main from last run;
4c9296390f20
Actions

Tags

None

Subscribers

None

Description

more accurate output: avoid output_main from last run;

Details

Provenance

Authored on

Parents

rISABELLE2f43be96c713: removed unused operation from 3f50b24909df;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE4c9296390f20: more accurate output: avoid output_main from last run;.Jan 31 2023, 5:17 PM

Changes (1)

Path

Size

src/

Tools/

jEdit/

src/

document_dockable.scala

rISABELLE4c9296390f20

src/Tools/jEdit/src/document_dockable.scala

Loading...