summaryrefslogtreecommitdiff
path: root/src/util/language.i
AgeCommit message (Expand)Author
2012-09-28fixes for compatibility (i.e., CVC3) Java bindingsMorgan Deters
2012-06-22TPTP: add parser for cnf and fofFrançois Bobot
2011-09-21considerable bindings interface work, some improvements to buildMorgan Deters
2011-09-20Merge from "swig" branch: language binding for Java is compiling and linking....Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback