| Fri, 16 Aug 2013 23:11:51 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 16 Aug 2013 22:57:16 +0200 | wenzelm | check_tool wrt. official ISABELLE_TOOLS; | changeset | files |
| Fri, 16 Aug 2013 22:39:31 +0200 | wenzelm | more markup via Name_Space.check; | changeset | files |