| 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 |
| Fri, 07 Jan 2011 14:36:41 +0100 | wenzelm | updated for 2011; | changeset | files |
| Fri, 07 Jan 2011 13:24:09 +0100 | boehmes | shortened the warning about uninstalled SMT solvers (the additional hint might get obsolete without further notice) | changeset | files |
| Fri, 07 Jan 2011 10:28:45 +0100 | krauss | tuned NEWS | changeset | files |