| Thu, 05 Sep 2013 20:19:22 +0200 | wenzelm | main application entry point involves implicit Cygwin init, depending on "uninitialized" file indicator; | changeset | files |
| Thu, 05 Sep 2013 16:39:01 +0200 | wenzelm | standardize jdk name; | changeset | files |
| Thu, 05 Sep 2013 16:03:44 +0200 | wenzelm | updated to jdk-7u25; | changeset | files |
| Thu, 05 Sep 2013 13:09:31 +0200 | wenzelm | support only one scala version; | changeset | files |
| Thu, 05 Sep 2013 12:33:51 +0200 | wenzelm | updated to jedit_build-20130905 which is based on jedit-5.1.0; | changeset | files |
| Thu, 05 Sep 2013 18:05:03 +0200 | haftmann | explicit module names have precedence over identifier declarations | changeset | files |
| Thu, 05 Sep 2013 18:05:02 +0200 | haftmann | check explicit module names for conformity | changeset | files |
| Thu, 05 Sep 2013 11:10:51 +0200 | traytel | list_to_set_comprehension: don't crash in case distinctions on datatypes with even number of constructors | changeset | files |