| Fri, 30 Dec 2016 11:46:34 +0100 | wenzelm | clarified Document_Model perspective and edits; | changeset | files |
| Fri, 30 Dec 2016 10:26:10 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 30 Dec 2016 15:40:35 +0100 | blanchet | more uniform errors in '(prim)(co)rec(ursive)' variants | changeset | files |
| Thu, 29 Dec 2016 22:10:29 +0100 | wenzelm | re-use options from resources; | changeset | files |
| Thu, 29 Dec 2016 21:54:04 +0100 | wenzelm | moved main state to VSCode_Resources; | changeset | files |
| Thu, 29 Dec 2016 17:25:32 +0100 | wenzelm | re-use resources from session; | changeset | files |
| Thu, 29 Dec 2016 16:00:29 +0100 | wenzelm | clarified Document.length -- independent of text_length; | changeset | files |