noexpand always false.

[splint.git] / README

diff --git a/README b/README
index e05b904eca386445917fee712a44151021388cbb..37aa46b6c6ba1f92e3fec7d4528d9f5457779e26 100644 (file)
--- a/README
+++ b/README
@@ -1,12 +1,13 @@
          Splint - annotation-assisted static program checker
                         http://www.splint.org
 
-                       Copyright (C) 1994-2003
+                       Copyright (C) 1994-2007
                        University of Virginia,
                 Massachusetts Institute of Technology
                 
-                           Version 3.0.1.7
-                            2 March 20023
+                            Version 3.1.2
+                            12 July 2007
+
 Splint Documentation
 ====================