| Mon, 18 Apr 2011 12:11:58 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 18 Apr 2011 12:04:21 +0200 | wenzelm | simplified Sorts.class_error: plain Proof.context; | changeset | files |
| Mon, 18 Apr 2011 11:44:39 +0200 | wenzelm | pass plain Proof.context for pretty printing; | changeset | files |
| Mon, 18 Apr 2011 11:13:29 +0200 | wenzelm | simplified pretty printing context, which is only required for certain kernel operations; | changeset | files |
| Sun, 17 Apr 2011 23:47:05 +0200 | wenzelm | provide structure Syntax early (before structure Type), back-patch check/uncheck later; | changeset | files |
| Sun, 17 Apr 2011 21:42:47 +0200 | wenzelm | added Binding.print convenience, which includes quote already; | changeset | files |
| Sun, 17 Apr 2011 21:17:45 +0200 | wenzelm | markup attributes/methods via name space; | changeset | files |