Created new html version of the manual by manually editing the html of the new html...

[splint.git] / README

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