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