Tue, 01 Jun 2010 15:59:01 +0200 | haftmann | do not expose store flag of AxClass.add_* | changeset | files |
Tue, 01 Jun 2010 13:59:13 +0200 | haftmann | merged | changeset | files |
Tue, 01 Jun 2010 13:52:12 +0200 | haftmann | adapted to changes | changeset | files |
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 |
Tue, 01 Jun 2010 13:54:33 +0200 | wenzelm | use local /home/isatest/polyml-5.3.0 on atbroy102 to avoid problems with the SMB filesystem via homebroy; | changeset | files |