| Fri, 07 Jan 2011 23:10:33 +0100 | wenzelm | allow spaces in $SPASS_HOME value; | changeset | files |
| Fri, 07 Jan 2011 23:07:04 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 07 Jan 2011 23:02:12 +0100 | wenzelm | eliminated alias; | changeset | files |
| Fri, 07 Jan 2011 22:44:07 +0100 | wenzelm | do not open ML structures; | changeset | files |