| Sat, 30 Mar 2013 11:43:17 +0100 | wenzelm | obsolete, cf. Proof_Context.print_syntax; | changeset | files |
| Fri, 29 Mar 2013 22:26:25 +0100 | wenzelm | paint bullet bar within text layer -- thus it remains visible with active selection etc.; | changeset | files |
| Fri, 29 Mar 2013 22:14:27 +0100 | wenzelm | Pretty.item markup for improved readability of lists of items; | changeset | files |
| Fri, 29 Mar 2013 22:13:02 +0100 | wenzelm | tuned message; | changeset | files |
| Fri, 29 Mar 2013 11:32:07 +0100 | haftmann | convenience check for vain instantiation | changeset | files |
| Fri, 29 Mar 2013 13:32:53 +0100 | wenzelm | improved centering via strikethrough offset; | changeset | files |
| Thu, 28 Mar 2013 23:44:43 +0100 | boehmes | re-generated SMT certificates | changeset | files |