| Wed, 19 Oct 2011 16:45:46 +0200 | wenzelm | more robust toplevel_error reporting (NB: Context.proof_of on a stale theory crashes ungracefully); | changeset | files |
| Wed, 19 Oct 2011 15:42:43 +0200 | wenzelm | inlined @{thms} (ML compile-time) allows to get rid of legacy zadd_ac as well (cf. 49e305100097); | changeset | files |
| Wed, 19 Oct 2011 15:41:12 +0200 | wenzelm | tuned legacy signature; | changeset | files |
| Wed, 19 Oct 2011 14:40:49 +0200 | wenzelm | further cleanup of stats (cf. 97e81a8aa277); | changeset | files |
| Wed, 19 Oct 2011 14:22:06 +0200 | wenzelm | updated keywords; | changeset | files |
| Wed, 19 Oct 2011 14:21:29 +0200 | wenzelm | really document just one code generator; | changeset | files |
| Wed, 19 Oct 2011 09:11:21 +0200 | bulwahn | NEWS | changeset | files |