| 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 |
| 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 |