src/Tools/jEdit/src/syntax_style.scala
16 months ago wenzelm 2017-12-04 tuned signature;
16 months ago wenzelm 2017-12-04 clarified control style;
16 months ago wenzelm 2017-12-04 font style for literal control symbols, notably for antiquotations;
16 months ago wenzelm 2017-12-04 tuned comments;
17 months ago wenzelm 2017-11-06 tuned signature;
22 months ago wenzelm 2017-06-05 uniform notion of Symbol.is_controllable (see also 265d9300d523);
23 months ago wenzelm 2017-06-01 output control symbols like ML version, with optionally hidden source;
2017-03-15 wenzelm 2017-03-15 keep style extender for the sake of potentially remaining token markers;
2017-03-15 wenzelm 2017-03-15 clarified initialization; tuned;
2017-03-15 wenzelm 2017-03-15 clarified modules;
2017-03-15 wenzelm 2017-03-15 clarified modules;