| Sun, 30 Dec 2012 21:49:20 +0100 | wenzelm | tuned rendering; | changeset | files |
| Sun, 30 Dec 2012 20:15:02 +0100 | wenzelm | ignore markup elements over empty body, which are not well-defined within markup tree and fail to work with merge_disjoint (e.g. multiple inlined positions); | changeset | files |
| Sun, 30 Dec 2012 18:23:31 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 30 Dec 2012 18:23:07 +0100 | wenzelm | more informative error; | changeset | files |
| Sun, 30 Dec 2012 16:59:11 +0100 | wenzelm | tuned -- recovered comments from 791157a4179a; | changeset | files |
| Sun, 30 Dec 2012 16:40:28 +0100 | wenzelm | tuned; | changeset | files |