summaryrefslogtreecommitdiff
path: root/library_versions
AgeCommit message (Expand)Author
2018-10-19Remove autotools build system. (#2639)Mathias Preiner
2018-09-04Remove CVC3 compatibility layer (#2418)Andres Noetzli
2018-06-25Bump library version.Aina Niemetz
2017-07-10Prerelease versioning for master.Mathias Preiner
2017-07-05updated INSTALL for version 1.5Mathias Preiner
2014-07-13Versioning for master.Morgan Deters
2014-07-13New versioning for development version.Morgan Deters
2014-06-19Versioning preparation.Morgan Deters
2014-06-10Some news about API changes.Morgan Deters
2013-12-06Initializing master for next version.Morgan Deters
2013-12-06Initializing 1.3.x branch.Morgan Deters
2013-11-27Some versioning in advance of the 1.3 release.Morgan Deters
2013-05-20Merge branch '1.2.x'Morgan Deters
2013-05-20Detect multiply-defined :named annotations and issue an error.Morgan Deters
2013-05-17Better error on invalid logic strings.Morgan Deters
2013-05-08Prerelease versioning for 1.2.xMorgan Deters
2013-05-08Prerelease versioning for masterMorgan Deters
2013-05-08Cutting release 1.2.1.2Morgan Deters
2013-04-03Prerelease versioning for master.Morgan Deters
2013-04-03Pre-release versioningMorgan Deters
2013-04-01Merging some cleanup work:Morgan Deters
2012-12-03distribute the find_public_interface.sh scriptMorgan Deters
2012-12-03version numberingMorgan Deters
2012-10-03better documentation, allow examples to be installed, etcMorgan Deters
2011-09-29compatibility work, documentationMorgan Deters
2011-09-20Merge from "swig" branch: language binding for Java is compiling and linking....Morgan Deters
2011-09-18cleaned up the mechanism for library versioningMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback