projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b77f44a) | patch
small changes to documentation; also, '\''make doc'\'' doesn't build dot graphs ...
authorMorgan Deters <mdeters@gmail.com>
Thu, 18 Nov 2010 03:57:52 +0000 (03:57 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 18 Nov 2010 03:57:52 +0000 (03:57 +0000)
commitce8115417ad103a6aa978051f3a59f1164cc618f
tree88cc9b2f4787e9e38c4918c34a9d1ec4cde4c900tree
parentb77f44a6975e6bab468c774d7b34c23e84371ff1commit | diff
small changes to documentation; also, '\''make doc'\'' doesn't build dot graphs (but nightly build system will produce them)
README diff | blob | history
configure.ac diff | blob | history