Diffusion Isabelle 8a5da740e388

tuned -- avoid odd compiler warning;
8a5da740e388
Actions

Tags

None

Subscribers

None

Description

tuned -- avoid odd compiler warning;

Details

Provenance

Authored on

Parents

rISABELLE73dee865d567: avoid deprecated operations;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE8a5da740e388: tuned -- avoid odd compiler warning;.Apr 22 2020, 6:37 PM

Changes (1)

Path

Size

src/

Pure/

Thy/

rISABELLE8a5da740e388

src/Pure/Thy/latex.scala

Loading...