Tue, 19 Nov 2013 19:43:26 +0100 release file errors at runtime: Command.eval instead of Command.read;
wenzelm [Tue, 19 Nov 2013 19:43:26 +0100] rev 54520
release file errors at runtime: Command.eval instead of Command.read;
Tue, 19 Nov 2013 19:33:27 +0100 maintain blobs within document state: digest + text in ML, digest-only in Scala;
wenzelm [Tue, 19 Nov 2013 19:33:27 +0100] rev 54519
maintain blobs within document state: digest + text in ML, digest-only in Scala; resolve files for command span, based on defined blobs; tuned;
Tue, 19 Nov 2013 13:54:02 +0100 always reparse nodes with thy_load commands, to update inlined files;
wenzelm [Tue, 19 Nov 2013 13:54:02 +0100] rev 54518
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