| Wed, 13 May 2015 17:36:33 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Wed, 13 May 2015 17:27:12 +0200 | wenzelm | more permissive operation: allow to print undeclared name space entries, e.g. print_simpset with "record" simproc; | changeset | files |
| Sat, 09 May 2015 20:40:28 +0200 | wenzelm | Added tag Isabelle2015-RC4 for changeset 05fe9bdc4f8f | changeset | files |