Tue, 01 Jun 2010 13:52:11 +0200 | haftmann | capitalized type variables; added yield as keyword | changeset | files |
Tue, 01 Jun 2010 13:52:11 +0200 | haftmann | brackify_infix etc.: no break before infix operator -- eases survival in Scala | changeset | files |
Tue, 01 Jun 2010 17:27:38 +0200 | wenzelm | basic support for sub/superscript token markup -- NB: need to maintain extended token types eagerly, since jEdit occasionally reinstalls a style array that is too short; | changeset | files |