Diffusion Isabelle f0446b3e4d17

clarified compiler options;
f0446b3e4d17
Actions

Tags

None

Subscribers

None

Description

clarified compiler options;

Details

Provenance

Authored on

Parents

rISABELLE3edb1592cad6: tuned comments;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf0446b3e4d17: clarified compiler options;.Feb 20 2021, 8:23 PM

Changes (2)

Path

Size

etc/

src/

Pure/

rISABELLEf0446b3e4d17

etc/settings

Loading...

src/Pure/ROOT.scala

Loading...