| 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 |
| Tue, 01 Jun 2010 13:32:05 +0200 | wenzelm | uniform ML environment setup for Isar and PG; | changeset | files |
| Tue, 01 Jun 2010 12:16:40 +0200 | berghofe | merged | changeset | files |
| Tue, 01 Jun 2010 11:39:51 +0200 | berghofe | Renamed TypeInfer to Type_Infer. | changeset | files |