Commit Graph

3 Commits

Author SHA1 Message Date
Morgan Deters
8406fd17c8 some fixes for language bindings 2012-08-16 01:29:19 +00:00
Morgan Deters
28bb25889b fix module name for CVC4 jar file; part of the fix for the Debian package build failure last night 2011-11-22 16:26:16 +00:00
Morgan Deters
33e3657c15 interfaces fixes and cleanups...and examples of each interface! 2011-09-30 23:01:58 +00:00