| Sat, 25 Sep 2010 14:16:59 +0200 | wenzelm | tuned mk_fifo; | changeset | files |
| Sat, 25 Sep 2010 13:57:34 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 24 Sep 2010 21:05:07 +0200 | wenzelm | tuned border; | changeset | files |
| Fri, 24 Sep 2010 20:33:38 +0200 | wenzelm | more informative Session.Phase; | changeset | files |
| Fri, 24 Sep 2010 17:55:32 +0200 | wenzelm | merged | changeset | files |
| Fri, 24 Sep 2010 15:53:57 +0200 | haftmann | merged | changeset | files |
| Fri, 24 Sep 2010 15:53:43 +0200 | haftmann | tuned schema table | changeset | files |
| Fri, 24 Sep 2010 17:20:09 +0200 | wenzelm | tuned warning_color; | changeset | files |
| Fri, 24 Sep 2010 17:12:09 +0200 | wenzelm | tuned error_color; | changeset | files |
| 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 |
| Fri, 24 Sep 2010 15:14:55 +0200 | wenzelm | merged | changeset | files |