Minor adjustments to wording.

diff --git a/AUTHORS b/AUTHORS
index 24cb5327a8a7f97f6c8880f97f30dc2cd451c5e8..d5565cce05b619e63316d9294a6a8d601f3cfd09 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -9,19 +9,19 @@ The core designers and authors of CVC4 are:
   Clark Barrett, New York University
   Francois Bobot, The University of Iowa & Commissariat a l'Energie Atomique
   Martin Brain, University of Oxford
-  Christopher Conway, formerly at New York University
+  Christopher Conway, New York University
   Morgan Deters, New York University
-  Liana Hadarean, New York University and Mentor Graphics Corporation
+  Liana Hadarean, New York University & Mentor Graphics Corporation
   Dejan Jovanovic, New York University & SRI International
-  Tim King, formerly at New York University
+  Tim King, New York University
   Tianyi Liang, The University of Iowa
   Andrew Reynolds, The University of Iowa & EPFL
   Cesare Tinelli, The University of Iowa
 
 Chief contributors to the CVC4 codebase additionally include:
 
-  Peter Collingbourne, formerly in the Multicore Programming Group at
-    Imperial College London (headed by Alastair Donaldson)
+  Peter Collingbourne, the Multicore Programming Group at Imperial College
+    London (headed by Alastair Donaldson)
 
 CVC4 is the fourth in the CVC series of tools (CVC, CVC Lite, CVC3) but does
 not directly incorporate code from any previous version.  Information about