| Sun, 19 May 2013 20:15:00 +0200 | haftmann | tuned, including signature | changeset | files |
| Sat, 18 May 2013 13:04:10 +0200 | wenzelm | discontinued odd workaround for scala-2.10.0-RC1; | changeset | files |
| Sat, 18 May 2013 13:00:05 +0200 | wenzelm | discontinued odd workaround for scala-2.9.2, which is hopefully obsolete in scala-2.10.x; | changeset | files |
| Sat, 18 May 2013 12:41:31 +0200 | wenzelm | explicit notion of public options, which are shown in the editor options dialog; | changeset | files |