From ac9bafbb85b2e0c0d36315abf13453e8091ad888 Mon Sep 17 00:00:00 2001
From: vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Date: Tue, 8 Sep 2009 16:52:00 +0000
Subject: [PATCH] minor edits

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@204 e59a4935-1847-0410-ae03-e826735625c1
---
 AUTHORS  | 9 +++++++--
 DOWNLOAD | 3 +++
 INSTALL  | 4 ++++
 README   | 7 ++++++-
 4 files changed, 20 insertions(+), 3 deletions(-)

diff --git a/AUTHORS b/AUTHORS
index 68907a5..298b818 100644
--- 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 790fd9e..876772e 100644
--- 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 d869acb..c2f2160 100644
--- 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 92f132c..50117d6 100644
--- 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
+
+
-- 
2.47.3