Fri, 29 Mar 2013 11:32:07 +0100 | haftmann | convenience check for vain instantiation | changeset | files |
Fri, 29 Mar 2013 13:32:53 +0100 | wenzelm | improved centering via strikethrough offset; | changeset | files |
Thu, 28 Mar 2013 23:44:43 +0100 | boehmes | re-generated SMT certificates | changeset | files |