| 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 |
| Fri, 07 Jan 2011 21:51:28 +0100 | wenzelm | more standard package setup; | changeset | files |
| Fri, 07 Jan 2011 21:26:49 +0100 | wenzelm | do not open ML structures; | changeset | files |
| Fri, 07 Jan 2011 20:42:25 +0100 | wenzelm | updated scala; | changeset | files |
| Fri, 07 Jan 2011 18:32:19 +0100 | wenzelm | do not open ML structures; | changeset | files |
| Fri, 07 Jan 2011 18:07:27 +0100 | wenzelm | do not open Codegen; | changeset | files |
| Fri, 07 Jan 2011 17:07:00 +0100 | wenzelm | tuned whitespace, indentation, comments; | changeset | files |
| Fri, 07 Jan 2011 16:11:02 +0100 | wenzelm | updated for release; | changeset | files |
| Fri, 07 Jan 2011 15:55:27 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 07 Jan 2011 15:35:00 +0100 | wenzelm | more precise parentheses and indentation; | changeset | files |
| Fri, 07 Jan 2011 14:58:15 +0100 | wenzelm | comments; | changeset | files |