made some minor edits to info files

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

diff --git a/AUTHORS b/AUTHORS
new file mode 100644 (file)
index 0000000..d91463b
--- /dev/null
+++ b/AUTHORS
@@ -0,0 +1,39 @@
+/********************************************************************
+ * PROGRAM NAME: STP (Simple Theorem Prover)   
+ *             
+ * AUTHORS: Vijay Ganesh
+ *     
+ * BEGIN DATE: November, 2005
+ *
+ * LICENSE: Please view LICENSE file in the home dir of this Program
+ ********************************************************************/
+
+
+Primary Author
+--------------
+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)
+
+
+
+Authors who contributed some code
+---------------------------------------
+David L. Dill, Stanford University, Stanford, CA, USA (Nov - Dec, 2005)
+Michael Katelman, University of Illinois, Urbana-Champaign, USA (July - Oct, 2008)
+Tim King, Stanford University, Stanford, CA, USA (July - Sep, 2007)
+Philip Guo, Stanford University, Stanford, CA, USA (Dec 2008 - Jan 2009)
+
+
+Following authors provided some code to Makefiles and configuration scripts
+---------------------------------------------------------------------------
+Cristian Cadar, Stanford University, Stanford, CA, USA
+Paul Twohey, Stanford University, Stanford, CA, USA
+Sergey Berezin, ATG Synopsys, Mountain View, CA, USA
+Clark Barrett, New York University, New York, NY, USA
+
+

diff --git a/DOWNLOAD b/DOWNLOAD
new file mode 100644 (file)
index 0000000..790fd9e
--- /dev/null
+++ b/DOWNLOAD
@@ -0,0 +1,13 @@
+/********************************************************************
+ * PROGRAM NAME: STP (Simple Theorem Prover)   
+ *             
+ * AUTHORS: Vijay Ganesh
+ *     
+ * BEGIN DATE: November, 2005
+ *
+ * LICENSE: Please view LICENSE file in the home dir of this Program
+ ********************************************************************/
+
+svn co https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp stp
+
+

diff --git a/INSTALL b/INSTALL
index 99626a370a2a9236334ae2e294bad352ac87117e..c19d047d927cfa50502a016f623247dc91b5316b 100644 (file)
--- a/INSTALL
+++ b/INSTALL
@@ -1,20 +1,28 @@
-1. To install STP perform the following steps on your
-Unix/GNU-Linux/MacOS X commandline:
+/********************************************************************
+ * PROGRAM NAME: STP (Simple Theorem Prover)   
+ *             
+ * AUTHORS: Vijay Ganesh
+ *     
+ * BEGIN DATE: November, 2005
+ *
+ * LICENSE: Please view LICENSE file in the home dir of this Program
+ ********************************************************************/
 
-./clean-install.sh
+1. To install STP:
 
-2. To test the system after installation, you will need to download
-the regression tests. The regression are 190MB big, so are stored
-separately. To download them, try something like:
+   ./clean-install.sh
 
-svn co
-https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/stp-tests/test
 
-The directory of the regression tests is hard-coded in /bin/run_tests,
-which you may need to update, depending on where you checkout the
-regression tests to.
 
-To run the regression tests: make regressall
+2. Download large tests:
+
+   svn co https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/stp-tests/test
+
+
+
+3. Run tests:
+
+   make regressall
 
 NB: 
 

diff --git a/LICENSE b/LICENSE
index 7e026a4f9fed9468db6e106c563fb589d9f77529..0891de8fb2f0c7ac4bb372b2d3a3a19b1f631765 100644 (file)
--- a/LICENSE
+++ b/LICENSE
@@ -1,3 +1,11 @@
+/********************************************************************
+ * PROGRAM NAME: STP (Simple Theorem Prover)   
+ *             
+ * AUTHORS: Vijay Ganesh
+ *     
+ * BEGIN DATE: November, 2005
+ ********************************************************************/
+
 The MIT License
 
 Copyright (c) 2008 Vijay Ganesh

diff --git a/README b/README
index f07f75301da4bf6adb15496f391880333373ffd7..9efd76a99a839274c45d5de4beedce4078a855a9 100644 (file)
--- a/README
+++ b/README
@@ -8,31 +8,20 @@
  * LICENSE: Please view LICENSE file in the home dir of this Program
  ********************************************************************/
 
-Install
+INSTALL
 -------
 See INSTALL file in the home dir of this program
 
-Primary Author
---------------
-Vijay Ganesh, Stanford University, Stanford, CA, USA (Nov, 2005 to present)
-
-Other Significant Author
-------------------------
-Trevor Alexander Hansen, University of Melbourne, Australia (Sep, 2008 - present)
-
-
+LICENSE
+-------
+See LICENSE file in the home dir of this program
 
-Authors who contributed some code
----------------------------------------
-David L. Dill, Stanford University, Stanford, CA, USA (Nov - Dec, 2005)
-Michael Katelman, University of Illinois, Urbana-Champaign, USA (July - Oct, 2008)
-Tim King, Stanford University, Stanford, CA, USA (July - Sep, 2007)
-Philip Guo, Stanford University, Stanford, CA, USA (Dec 2008 - Jan 2009)
+WEBSITE
+-------
+http://sourceforge.net/projects/stp-fast-prover/
 
+http://people.csail.mit.edu/vganesh/stp.html
 
-Makefiles and configuration scripts
-------------------------------------
-Cristian Cadar, Stanford University, Stanford, CA, USA
-Paul Twohey, Stanford University, Stanford, CA, USA
-Sergey Berezin, ATG Synopsys, Mountain View, CA, USA
-Clark Barrett, New York University, New York, NY, USA
+DOCUMENTATION
+-------------
+http://people.csail.mit.edu/vganesh/STP_files/stp-docs.html