2020-04-01 | Aina Niemetz | Rename checkValid/query to checkEntailed. (#4191) | blob | commitdiff | raw |
2012-10-05 | Morgan Deters | Bug-related: | blob | commitdiff | raw | diff to current |
2011-11-22 | Morgan Deters | More language bindings work: | blob | commitdiff | raw | diff to current |
2011-11-16 | Morgan Deters | Fix "make dist". Fixes to python and ruby bindings... | blob | commitdiff | raw | diff to current |