Committing before tagging release.

[splint.git] / README

diff --git a/README b/README
index e05b904eca386445917fee712a44151021388cbb..2b0c69933e8d0da6bc4035477600589ed0a3cadf 100644 (file)
--- a/README
+++ b/README
@@ -5,8 +5,9 @@
                        University of Virginia,
                 Massachusetts Institute of Technology
                 
-                           Version 3.0.1.7
-                            2 March 20023
+                            Version 3.1.0
+                            12 April 2003
+
 Splint Documentation
 ====================