Diffusion Isabelle 1ac2416e8432

tuned signature (again, amending f32ac01aef5e), e.g. relevant for Isabelle/DOF;
1ac2416e8432
Actions

Tags

None

Subscribers

None

Description

tuned signature (again, amending f32ac01aef5e), e.g. relevant for Isabelle/DOF;

Details

Provenance

Authored on

Parents

rISABELLE9bd948666e8a: tuned signature, e.g. for Isabelle/DOF;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE1ac2416e8432: tuned signature (again, amending f32ac01aef5e), e.g. relevant for Isabelle/DOF;.Oct 24 2022, 8:37 PM

makarius mentioned this in rISABELLE53b5b8883ff7: Added tag Isabelle2022 for changeset 1ac2416e8432.Oct 25 2022, 3:36 PM

Changes (1)

Path

Size

src/

Pure/

Thy/

rISABELLE1ac2416e8432

src/Pure/Thy/latex.ML

Loading...