Mon, 20 Dec 2010 13:24:04 +0100 | wenzelm | actually enable show_hyps option, unlike local_setup in 6da953d30f48 which merely affects the (temporary) auxiliary context; | changeset | files |
Mon, 20 Dec 2010 09:45:26 +0100 | boehmes | merged | changeset | files |
Mon, 20 Dec 2010 09:31:47 +0100 | boehmes | updated SMT certificates | changeset | files |