Fri, 08 Apr 2011 16:38:46 +0200 | wenzelm | merged | changeset | files |
Thu, 07 Apr 2011 21:49:24 +0200 | krauss | raised timeout further, for SML/NJ | changeset | files |
Fri, 08 Apr 2011 16:34:14 +0200 | wenzelm | discontinued special treatment of structure Lexicon; | changeset | files |