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, 22 insertions, 0 deletions

diff --git a/contrib/spellcheck b/contrib/spellcheck
new file mode 100755
index 000000000..4aa210a50
--- /dev/null
+++ b/contrib/spellcheck
@@ -0,0 +1,22 @@
+#!/bin/bash
+
+dir="$(dirname "$0")"
+
+find src \( -name '*.cpp' -o -name '*.h' \) \! -path 'src/prop/minisat/*' \! -path 'src/prop/bvminisat/*' \! -path 'src/prop/cryptominisat/*' \! -path 'src/parser/*/generated/*' |
+  while read f; do
+    misspelled_words=`
+    $dir/extract-strings-and-comments $f |
+      ispell -a -W 3 2>/dev/null |
+      tail -n +2 |
+        while read s; do
+          case "$s" in
+            \**|\+*|-*) ;;
+            \&*|\#*|\?*) echo "$s" | awk '{print$2}';;
+#           *) test -n "$s" && echo "UNKNOWN : $s";;
+          esac
+        done | sort -fu | sed 's,^,  ,'`
+    if [ -n "$misspelled_words" ]; then
+      echo "$f"
+      echo "$misspelled_words"
+    fi
+  done