| Fri, 07 Jan 2011 15:39:13 +0100 | boehmes | added hints about licensing restrictions and how to enable Z3 | changeset | files |
| Fri, 07 Jan 2011 15:37:53 +0100 | boehmes | tuned | changeset | files |
| Fri, 07 Jan 2011 23:30:29 +0100 | wenzelm | eliminated hard tabs; | changeset | files |
| 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 |