| Fri, 10 Aug 2012 17:17:05 +0200 | nipkow | Improved complete lattice formalisation - no more index set. | changeset | files |
| Fri, 10 Aug 2012 16:29:40 +0200 | wenzelm | merged | changeset | files |
| Fri, 10 Aug 2012 16:19:51 +0200 | wenzelm | tuned proofs; | changeset | files |
| Fri, 10 Aug 2012 15:57:22 +0200 | wenzelm | sneak message into "bad" markup as property -- to be displayed after YXML parsing; | changeset | files |
| Fri, 10 Aug 2012 15:14:45 +0200 | wenzelm | apply all text edits to each node, before determining the resulting doc_edits -- allow several iterations to consolidate spans etc.; | changeset | files |
| Fri, 10 Aug 2012 13:33:07 +0200 | wenzelm | clarified undefined, unparsed, unfinished command spans; | changeset | files |
| Fri, 10 Aug 2012 13:15:00 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 10 Aug 2012 10:23:54 +0200 | wenzelm | discontinued mostly unused markup for command spans; | changeset | files |