Diffusion Isabelle 57c3224e4c30

tuned for Isabelle2020;
57c3224e4c30
Actions

Tags

None

Subscribers

None

Description

tuned for Isabelle2020;

Details

Provenance

Authored on

Parents

rISABELLE3cad8ffee92c: more explicit defaults;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE57c3224e4c30: tuned for Isabelle2020;.Mar 12 2020, 9:13 PM

Changes (1)

Path

Size

src/

Doc/

JEdit/

rISABELLE57c3224e4c30

src/Doc/JEdit/JEdit.thy

Loading...