| Mon, 18 Nov 2013 23:46:59 +0100 | wenzelm | clarified Thy_Load.node_name; | changeset | files |
| Mon, 18 Nov 2013 23:26:15 +0100 | wenzelm | inline blobs into command, via SHA1 digest; | changeset | files |
| Mon, 18 Nov 2013 22:06:08 +0100 | wenzelm | persistent value; | changeset | files |
| Mon, 18 Nov 2013 19:56:34 +0100 | wenzelm | caching of blob; | changeset | files |
| Mon, 18 Nov 2013 17:24:04 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 18 Nov 2013 17:16:56 +0100 | wenzelm | maintain document model for all files, with document view for theory only, and special blob for non-theory files; | changeset | files |
| Wed, 20 Nov 2013 08:56:54 +0100 | nipkow | tuned | changeset | files |