Diffusion Isabelle 4d91b6d5d49c

clarified control style;
4d91b6d5d49c
Actions

Tags

None

Subscribers

None

Description

clarified control style;

Details

Provenance

Authored on

Parents

rISABELLEcf111622c9f8: font style for literal control symbols, notably for antiquotations;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius mentioned this in rISABELLEde82b1251971: more robust (see 4d91b6d5d49c);.Jul 15 2021, 11:20 PM

Changes (1)

Path

Size

src/

Tools/

jEdit/

src/

syntax_style.scala

rISABELLE4d91b6d5d49c

src/Tools/jEdit/src/syntax_style.scala

Loading...