summaryrefslogtreecommitdiff
path: root/theory.ml
Commit message (Expand)AuthorAge
* New upstream version 8.6Gravatar Enrico Tassi2016-12-27
* Imported Upstream version 8.5.1Gravatar Nicolas Braud-Santoni2016-07-23
* Imported Upstream version 0.3upstream/0.3Gravatar Stephane Glondu2012-09-20
* Imported Upstream version 0.2upstream/0.2Gravatar Stephane Glondu2010-12-01
* Imported Upstream version 0.1-r13244upstream/0.1-r13244Gravatar Stephane Glondu2010-11-29