X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/6252ab26bcefaa493fee28775bc03613cd46b0f2..51bc6ecce8b6e9877dccd8bda2cf220b47e6929c:/win32/README.1ST

diff --git a/win32/README.1ST b/win32/README.1ST
index 60fe462..bf0cd26 100755
--- a/win32/README.1ST
+++ b/win32/README.1ST
@@ -1,5 +1,5 @@
-			  Spint Version 3.0.1
-			     11 March 2002
+			  Spint Version 3.1.0
+			     21 April 2003
 				    
 			     www.splint.org
 
@@ -9,12 +9,15 @@ pre-compiled Win32 binary (available from http://www.splint.org) instead
 of building a Win32 binary from the source code, and using a Unix
 platform if you want to modify the Splint sources.
 
-This project file has been used to compile Splint using Microsoft Visual
-C++ 6.0.
+This project file has been used to compile Splint using Microsoft
+Visual.Net Framework 1.0, Visual C++ .NET version 7.0.9466.  We are not
+Windows development experts --- this file hard codes include paths and
+other system specific information, so it will not work for you without
+some effort.
 
 The file cscanner.c generated by flex uses
 
 #include <unistd.h>
 
-which does not exist in Win32 (at least VC++ 6.0) and is not required by
-ISO C99.  Line 98 of cscanner.c must be removed to build on Windows.
+which does not exist in Win32 (at least VC++ 7.0).  That line must be
+removed to build on Windows.