| 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 |
| Fri, 16 Aug 2013 21:33:36 +0200 | wenzelm | more standard attribute_setup / method_setup -- export key ML operations instead of parsers; | changeset | files |
| Fri, 16 Aug 2013 21:28:05 +0200 | wenzelm | standardized aliases; | changeset | files |
| Fri, 16 Aug 2013 20:58:15 +0200 | wenzelm | more markup -- avoid old Locale.extern; | changeset | files |