| Wed, 20 Nov 2013 12:24:54 +0100 | wenzelm | refer to thy_load command of auxiliary file; | changeset | files |
| Wed, 20 Nov 2013 12:04:06 +0100 | wenzelm | proper static resolution of files via Thy_Load.load_thy, instead of TTY fall-back; | changeset | files |
| Wed, 20 Nov 2013 11:55:52 +0100 | wenzelm | load files that are not provided by PIDE blobs; | changeset | files |
| Wed, 20 Nov 2013 10:51:47 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 19 Nov 2013 22:12:54 +0100 | wenzelm | more explicit indication of missing files; | changeset | files |
| Tue, 19 Nov 2013 21:49:31 +0100 | wenzelm | more uniform handling of inlined files; | changeset | files |
| Tue, 19 Nov 2013 20:59:05 +0100 | wenzelm | tuned signature; | changeset | files |