** Don't fear the files-changed list, almost all changes are in the **

[cvc5.git] / src / main / usage.h

diff --git a/src/main/usage.h b/src/main/usage.h
index 4c600759f3df3d2866af314affdda466f3e67338..4da37749b6e3e04aae33d3ba836c601c469248c2 100644 (file)
--- 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.
  **/