diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-03-06 19:08:32 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-03-06 19:08:32 +0000 |
| commit | c409b60e8c507997a24ba9ea1c611da9132d1e10 (patch) | |
| tree | 4623893b2dc59bfa35b045a9cf1c7763ec4d6236 /src/compat | |
| parent | 323090e50edd5da02292e76a5510d4d6ae2d7f94 (diff) | |
updating the equality engine to be able to give explanations for terms that were not in the databas (queried by areEqual and areDisequal)
and it's a bit better
http://church.cims.nyu.edu/regress-results/compare_jobs.php?job_id=3738&category=&p=-1&reference_id=3731
Diffstat (limited to 'src/compat')
0 files changed, 0 insertions, 0 deletions