| Wed, 18 Sep 2013 15:50:59 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 18 Sep 2013 15:09:15 +0200 | wenzelm | improved FlowLayout for wrapping of components over multiple lines; | changeset | files |
| Wed, 18 Sep 2013 13:31:44 +0200 | wenzelm | updated to polyml-5.5.1; | changeset | files |
| Wed, 18 Sep 2013 13:18:51 +0200 | wenzelm | improved printing of exception trace in Poly/ML 5.5.1; | changeset | files |
| Wed, 18 Sep 2013 11:36:12 +0200 | wenzelm | more antiquotations; | changeset | files |
| Wed, 18 Sep 2013 11:08:28 +0200 | wenzelm | moved module into plain Isabelle/ML user space; | changeset | files |
| Wed, 18 Sep 2013 20:44:10 +0200 | blanchet | more primcorec tactics | changeset | files |