Tue, 05 Apr 2016 17:25:11 +0200 | wenzelm | prefer antiquotations; | changeset | files |
Tue, 05 Apr 2016 17:16:46 +0200 | wenzelm | proper use_thy; | changeset | files |
Tue, 05 Apr 2016 15:58:58 +0200 | wenzelm | support for ML project ROOT file, with imitation of ML "use" commands; | changeset | files |