Various fixes to documentation---typos, some incomplete documentation fixed, \file tags corrected, copyright added to files that had it missing, etc.

I ensured that I didn't change any code with this commit, and even tested on the cluster to be doubly sure:

  http://church.cims.nyu.edu/regress-results/compare_jobs.php?job_id=4655&reference_id=4646&p=0

1 files changed, 21 insertions, 3 deletions

diff --git a/src/main/driver_portfolio.cpp b/src/main/driver_portfolio.cpp
index a8da88173..486e0e0d3 100644
--- a/src/main/driver_portfolio.cpp
+++ b/src/main/driver_portfolio.cpp
@@ -1,3 +1,21 @@
+/*********************                                                        */
+/*! \file driver_portfolio.cpp
+ ** \verbatim
+ ** Original author: kshitij
+ ** Major contributors: taking, mdeters
+ ** Minor contributors (to current version): none
+ ** This file is part of the CVC4 prototype.
+ ** Copyright (c) 2009-2012  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.\endverbatim
+ **
+ ** \brief Driver for portfolio CVC4 executable (pcvc4)
+ **
+ ** Driver for portfolio CVC4 executable (pcvc4).
+ **/
+
 #include <cstdio>
 #include <cstdlib>
 #include <iostream>
@@ -786,10 +804,10 @@ void sharingManager(int numThreads,
     }
   } /* end of infinite while */
 
-  Trace("interrupt") << "sharing thread interuppted, interrupting all smtEngines" << std::endl;
+  Trace("interrupt") << "sharing thread interrupted, interrupting all smtEngines" << std::endl;
 
   for(int t = 0; t < numThreads; ++t) {
-    Trace("interrupt") << "Interuppting thread #" << t << std::endl;
+    Trace("interrupt") << "Interrupting thread #" << t << std::endl;
     try{
       smts[t]->interrupt();
     }catch(ModalException &e){
@@ -798,5 +816,5 @@ void sharingManager(int numThreads,
     }
   }
 
-  Trace("sharing") << "sharing: Interuppted, exiting." << std::endl;
+  Trace("sharing") << "sharing: Interrupted, exiting." << std::endl;
 }