Sun, 01 Jan 2017 11:47:27 +0100 | wenzelm | clarified modules; | changeset | files |
Sun, 01 Jan 2017 11:38:29 +0100 | wenzelm | clarified file URI operations; | changeset | files |
Sat, 31 Dec 2016 21:00:43 +0100 | wenzelm | more precise markup; | changeset | files |
Sat, 31 Dec 2016 20:26:34 +0100 | wenzelm | automatically resolve dependencies from document models and file-system; | changeset | files |