5 files changed, 31 insertions, 16 deletions
diff --git a/src/main/getopt.cpp b/src/main/getopt.cpp
index fda0bf766..c3c57cf94 100644
--- a/src/main/getopt.cpp
+++ b/src/main/getopt.cpp
@@ -1,14 +1,17 @@
 /*********************                                                        */
-/** getopt.cpp
+/*! \file getopt.cpp
+ ** \verbatim
  ** Original author: mdeters
- ** Major contributors: none
- ** Minor contributors (to current version): dejan, barrett, cconway
+ ** Major contributors: cconway
+ ** Minor contributors (to current version): dejan, barrett
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences
  ** New York University
  ** See the file COPYING in the top-level source directory for licensing
- ** information.
+ ** information.\endverbatim
+ **
+ ** \brief Contains code for handling command-line options.
  **
  ** Contains code for handling command-line options
  **/
diff --git a/src/main/main.cpp b/src/main/main.cpp
index 5150d32f9..7fb0d92c9 100644
--- a/src/main/main.cpp
+++ b/src/main/main.cpp
@@ -1,14 +1,17 @@
 /*********************                                                        */
-/** main.cpp
+/*! \file main.cpp
+ ** \verbatim
  ** Original author: mdeters
- ** Major contributors: none
- ** Minor contributors (to current version): dejan, barrett, cconway
+ ** Major contributors: cconway
+ ** Minor contributors (to current version): barrett, dejan
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences
  ** New York University
  ** See the file COPYING in the top-level source directory for licensing
- ** information.
+ ** information.\endverbatim
+ **
+ ** \brief Main driver for CVC4 executable.
  **
  ** Main driver for CVC4 executable.
  **/
diff --git a/src/main/main.h b/src/main/main.h
index 117b52c17..d56684d7d 100644
--- a/src/main/main.h
+++ b/src/main/main.h
@@ -1,5 +1,6 @@
 /*********************                                                        */
-/** main.h
+/*! \file main.h
+ ** \verbatim
  ** Original author: mdeters
  ** Major contributors: none
  ** Minor contributors (to current version): dejan, barrett
@@ -8,7 +9,9 @@
  ** Courant Institute of Mathematical Sciences
  ** New York University
  ** See the file COPYING in the top-level source directory for licensing
- ** information.
+ ** information.\endverbatim
+ **
+ ** \brief Header for main CVC4 driver.
  **
  ** Header for main CVC4 driver.
  **/
diff --git a/src/main/usage.h b/src/main/usage.h
index 4c600759f..4da37749b 100644
--- a/src/main/usage.h
+++ b/src/main/usage.h
@@ -1,14 +1,17 @@
 /*********************                                                        */
-/** usage.h
+/*! \file usage.h
+ ** \verbatim
  ** Original author: mdeters
- ** Major contributors: none
- ** Minor contributors (to current version): cconway
+ ** Major contributors: cconway
+ ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences
  ** New York University
  ** See the file COPYING in the top-level source directory for licensing
- ** information.
+ ** information.\endverbatim
+ **
+ ** \brief The "usage" string for the CVC4 driver binary.
  **
  ** The "usage" string for the CVC4 driver binary.
  **/
diff --git a/src/main/util.cpp b/src/main/util.cpp
index 6a69252ce..77274d575 100644
--- a/src/main/util.cpp
+++ b/src/main/util.cpp
@@ -1,5 +1,6 @@
 /*********************                                                        */
-/** util.cpp
+/*! \file util.cpp
+ ** \verbatim
  ** Original author: mdeters
  ** Major contributors: none
  ** Minor contributors (to current version): none
@@ -8,7 +9,9 @@
  ** Courant Institute of Mathematical Sciences
  ** New York University
  ** See the file COPYING in the top-level source directory for licensing
- ** information.
+ ** information.\endverbatim
+ **
+ ** \brief Utilities for the main driver.
  **
  ** Utilities for the main driver.
  **/