Added checking for union initializers.

[splint.git] / README

diff --git a/README b/README
index 200dffeb6b5e340c2127a8905f52d951473c0996..6b72cc0cef3adb5c9c27461dfe7ab15baae1a459 100644 (file)
--- a/README
+++ b/README
@@ -1,11 +1,18 @@
-                       Splint Version 3.0.0.20
+         Splint - annotation-assisted static program checker
+                        http://www.splint.org
+
+                       Copyright (C) 1994-2002
+                       University of Virginia,
+                Massachusetts Institute of Technology
+                
+                           Version 3.0.0.20
                             Alpha Release
-                           29 December 2001
+                           30 December 2001
 
-LCLint Documentation
+Splint Documentation
 ====================
 
-For documentation on LCLint, please see http://www.splint.org
+For documentation on Splint, please see http://www.splint.org
 
 WARNING: this is an Alpha release - new features and changes are not
 reflected in the documentation.