Diffusion Isabelle b84887a67cc6

clarified default L&F of Isabelle/Scala (not Isabelle/jEdit);
b84887a67cc6
Actions

Tags

None

Subscribers

None

Description

clarified default L&F of Isabelle/Scala (not Isabelle/jEdit);

Details

Provenance

Authored on

Parents

rISABELLEa8e5d7c9a834: discontinued odd absolute position (amending 85bcdd05c6d0, 1975f397eabb): it…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb84887a67cc6: clarified default L&F of Isabelle/Scala (not Isabelle/jEdit);.Jan 9 2021, 7:49 PM

Changes (2)

Path

Size

src/

Pure/

GUI/

rISABELLEb84887a67cc6

NEWS

Loading...

src/Pure/GUI/gui.scala

Loading...