Wed, 20 Nov 2013 15:53:59 +0100 | wenzelm | ranges of thy_load commands count as visible within perspective; | changeset | files |
Wed, 20 Nov 2013 15:00:25 +0100 | wenzelm | tuned; | changeset | files |
Wed, 20 Nov 2013 12:24:54 +0100 | wenzelm | refer to thy_load command of auxiliary file; | changeset | files |