Tue, 19 Nov 2013 19:43:26 +0100 wenzelm release file errors at runtime: Command.eval instead of Command.read;
Tue, 19 Nov 2013 19:33:27 +0100 wenzelm maintain blobs within document state: digest + text in ML, digest-only in Scala;
Tue, 19 Nov 2013 13:54:02 +0100 wenzelm always reparse nodes with thy_load commands, to update inlined files;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 tip