minor edits

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@204 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/AUTHORS b/AUTHORS
index 68907a5971dab5588204c50cf89126caf26cf63a..298b818b87b8251051826df9491f51655315971a 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -1,3 +1,5 @@
+
+
 /********************************************************************
  * PROGRAM NAME: STP (Simple Theorem Prover)   
  *             
@@ -11,13 +13,16 @@
 
 Primary Author
 --------------
-Vijay Ganesh, Stanford University, Stanford, CA, USA (Nov, 2005 to 2007), MIT (Oct, 2007 to present)
+Vijay Ganesh
+Stanford University, Stanford, CA, USA (Nov, 2005 to 2007), 
+MIT (Oct, 2007 to present)
 
 
 
 Other Significant Author
 ------------------------
-Trevor Alexander Hansen, University of Melbourne, Australia (Sep, 2008 - present)
+Trevor Alexander Hansen 
+University of Melbourne, Australia (Sep, 2008 - present)
 
 
 

diff --git a/DOWNLOAD b/DOWNLOAD
index 790fd9eb6b4ba89c230e31955f9cb1ba7920607c..876772eded9cc23f8537d5de6d08b44c252e0bb3 100644 (file)
--- a/DOWNLOAD
+++ b/DOWNLOAD
@@ -1,3 +1,5 @@
+
+
 /********************************************************************
  * PROGRAM NAME: STP (Simple Theorem Prover)   
  *             
@@ -11,3 +13,4 @@
 svn co https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp stp
 
 
+

diff --git a/INSTALL b/INSTALL
index d869acb57d1ae7247d7e01c6300ffa9820fbcb0d..c2f21602a368385d47f143e16f3691bc65bf9a0a 100644 (file)
--- a/INSTALL
+++ b/INSTALL
@@ -1,3 +1,5 @@
+
+
 /********************************************************************
  * PROGRAM NAME: STP (Simple Theorem Prover)   
  *             
@@ -29,3 +31,5 @@ NB:
 * If you want to compile a statically linked version of STP, run
 ./liblinks.sh after the configure script, and then compile adding
 STATIC=true to the make commands.
+
+

diff --git a/README b/README
index 92f132cc6e1f2f8c0bc94fb1481baed6fafe20fc..50117d660984f810cd1272ff338186ab2bb202c5 100644 (file)
--- a/README
+++ b/README
@@ -1,3 +1,6 @@
+
+
+
 /********************************************************************
  * PROGRAM NAME: STP (Simple Theorem Prover)   
  *             
@@ -46,4 +49,6 @@ Assumes you have downloaded the testcases
 make regresscvc
 make regresssmt
 make regresscapi
-make regressbigarray
\ No newline at end of file
+make regressbigarray
+
+