From 2541504dfed9d43d0df18287390161bbc1dc85d2 Mon Sep 17 00:00:00 2001
From: vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Date: Tue, 11 Aug 2009 17:19:45 +0000
Subject: [PATCH] git-svn-id:
 https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@109
 e59a4935-1847-0410-ae03-e826735625c1

---
 README | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README b/README
index 0d1e17a..f07f753 100644
--- a/README
+++ b/README
@@ -16,13 +16,13 @@ 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)
 
 
-Other Authors who contributed some code
+
+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)
-- 
2.47.3