| Sat, 07 Jan 2017 21:32:00 +0100 | wenzelm | uniform Document.Model.node_edits (without void edits); | changeset | files |
| Sat, 07 Jan 2017 20:44:37 +0100 | wenzelm | clarified check_thy_reader: check node_name here; | changeset | files |
| Sat, 07 Jan 2017 20:37:48 +0100 | wenzelm | more uniform node_header (non-strict); | changeset | files |