| Fri, 11 Nov 2011 16:25:32 +0100 | wenzelm | depth-first proof forking for improved locality (wrt. cancellation and overall memory usage); | changeset | files |
| Fri, 11 Nov 2011 16:06:26 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 11 Nov 2011 15:25:22 +0100 | wenzelm | more abstract Markup_Tree; | changeset | files |
| Fri, 11 Nov 2011 14:24:38 +0100 | wenzelm | prefer statically typed Text.Markup; | changeset | files |