| 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 |