| Tue, 26 Jul 2011 22:53:06 +0200 | blanchet | renamed "preds" encodings to "guards" | changeset | files |
| Tue, 26 Jul 2011 18:11:38 +0200 | bulwahn | more precise dependencies | changeset | files |
| Tue, 26 Jul 2011 14:53:00 +0200 | blanchet | further worked around LEO-II parser limitation, with eta-expansion | changeset | files |
| Tue, 26 Jul 2011 14:53:00 +0200 | blanchet | use syntactic sugar whenever possible in THF problems, to work around current LEO-II parser limitation (bang bang and query query are not handled correctly) | changeset | files |