| Tue, 19 Nov 2013 19:33:27 +0100 | wenzelm | maintain blobs within document state: digest + text in ML, digest-only in Scala; | changeset | files |
| Tue, 19 Nov 2013 13:54:02 +0100 | wenzelm | always reparse nodes with thy_load commands, to update inlined files; | changeset | files |
| Tue, 19 Nov 2013 13:39:12 +0100 | wenzelm | proper Thy_Load.append of auxiliary file names; | changeset | files |