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 |