| Fri, 24 Sep 2010 17:09:07 +0200 | wenzelm | some attempts to improve visual appearance of bad text; | changeset | files |
| Fri, 24 Sep 2010 16:17:59 +0200 | wenzelm | clarified @{type} antiquotation: abbreviations and nonterminals count as "syntactic", disallow TFrees; | changeset | files |
| Fri, 24 Sep 2010 15:56:29 +0200 | wenzelm | updated generated file; | changeset | files |
| Fri, 24 Sep 2010 15:53:13 +0200 | wenzelm | modernized structure Ord_List; | changeset | files |
| Fri, 24 Sep 2010 15:37:36 +0200 | wenzelm | isatest: indicate Isabelle version; | changeset | files |
| Fri, 24 Sep 2010 15:30:30 +0200 | wenzelm | actually handle Type.TYPE_MATCH, not arbitrary exceptions; | changeset | files |