diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-22 04:37:26 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-22 04:37:26 -0400 |
commit | e29c1b228b21e2c3bb354c7096229d26eb9b4b04 (patch) | |
tree | ec2a0d1e0f2d748d3658ade5ff74912ee2eac00c /doc | |
parent | 2b87a7546e15db91d39c7824390397e87eadc6d4 (diff) |
Better documentation pages.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/mainpage.md | 19 |
1 files changed, 18 insertions, 1 deletions
diff --git a/doc/mainpage.md b/doc/mainpage.md index 1fc04ab3c..60e2e5ee1 100644 --- a/doc/mainpage.md +++ b/doc/mainpage.md @@ -1,4 +1,5 @@ -Getting started with the CVC4 API +/** +\mainpage Getting started with the CVC4 API The main classes of the CVC4 API are: - CVC4::Expr - an expression (a formula, term, variable, constant, etc.) @@ -24,3 +25,19 @@ For examples of Java programs using the CVC4 API, look in the directory examples Thank you for your interest in CVC4! The CVC4 Development team + +\page authors AUTHORS +\verbinclude AUTHORS +\page copying COPYING +\verbinclude COPYING +\page install INSTALL +\verbinclude INSTALL +\page news NEWS +\verbinclude NEWS +\page release-notes RELEASE-NOTES +\verbinclude RELEASE-NOTES +\page readme README +\verbinclude README +\page thanks THANKS +\verbinclude THANKS +*/ |