| 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 |
| Fri, 24 Sep 2010 15:11:38 +0200 | haftmann | prefer typewrite tag over raw latex environment | changeset | files |
| Fri, 24 Sep 2010 15:11:38 +0200 | haftmann | avoid fragile tranclp syntax; corrected resolution; corrected typo | changeset | files |
| Fri, 24 Sep 2010 14:57:17 +0200 | wenzelm | merged | changeset | files |
| Fri, 24 Sep 2010 14:56:16 +0200 | haftmann | use typewriter tag instead of bare environment | changeset | files |
| Fri, 24 Sep 2010 14:03:44 +0200 | haftmann | dropped dead code | changeset | files |
| Fri, 24 Sep 2010 14:03:44 +0200 | haftmann | always add trailing newline for presentation | changeset | files |
| Fri, 24 Sep 2010 14:03:43 +0200 | haftmann | corrected omission | changeset | files |
| Fri, 24 Sep 2010 14:03:43 +0200 | haftmann | fixed small font size fore typewriter text | changeset | files |
| Fri, 24 Sep 2010 11:56:24 +0200 | haftmann | merged | changeset | files |
| Fri, 24 Sep 2010 11:56:14 +0200 | haftmann | load theory explicitly | changeset | files |
| Fri, 24 Sep 2010 11:36:28 +0200 | blanchet | merge | changeset | files |
| Fri, 24 Sep 2010 10:27:11 +0200 | blanchet | make SML/NJ happier -- temporary solution until Metis is fixed upstream | changeset | files |
| Fri, 24 Sep 2010 10:31:42 +0200 | bulwahn | merged | changeset | files |
| Fri, 24 Sep 2010 08:12:10 +0200 | bulwahn | being a little less strict than in 2e06dad03dd3 | changeset | files |
| Fri, 24 Sep 2010 15:33:58 +0900 | Cezary Kaliszyk | quotient package: respectfulness and preservation of identity. | changeset | files |
| Thu, 23 Sep 2010 21:17:11 +0200 | haftmann | merged | changeset | files |
| Thu, 23 Sep 2010 17:55:31 +0200 | haftmann | merged | changeset | files |
| Thu, 23 Sep 2010 16:38:55 +0200 | haftmann | removed superfluous output_typewriter from cs 65064e8f269 | changeset | files |