Tue, 20 Mar 2012 00:44:30 +0100 | blanchet | more weight attribute tuning | changeset | files |
Tue, 20 Mar 2012 00:44:30 +0100 | blanchet | use TFF0 with remote Vampire, now that a newer version of Vampire has been installed there (1.8 rev. 1362) that appears to have sound support for TFF0 | changeset | files |
Tue, 20 Mar 2012 00:44:30 +0100 | blanchet | internal renamings | changeset | files |
Tue, 20 Mar 2012 00:44:30 +0100 | blanchet | renamed E weight attribute | changeset | files |