Diffusion Isabelle 9c2dd041477b

clarified environment (amending 9444489766a1);
9c2dd041477b
Actions

Tags

None

Subscribers

None

Description

clarified environment (amending 9444489766a1);

Details

Provenance

Authored on

Parents

rISABELLE0a12ca4f3e8d: proper Font_Subst.cache for paintScreenLineRange;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE9c2dd041477b: clarified environment (amending 9444489766a1);.Jun 28 2021, 12:29 PM

Changes (1)

Path

Size

src/

Pure/

System/

isabelle_system.scala

rISABELLE9c2dd041477b

src/Pure/System/isabelle_system.scala

Loading...