projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 2dd0da4 0701958)
Merge pull request #34 from mdeters/datatypes-kinds
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 25 Jun 2014 21:49:24 +0000 (23:49 +0200)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 25 Jun 2014 21:49:24 +0000 (23:49 +0200)
Datatypes kinds documentation


Trivial merge