Spint Version 3.0.1
			     11 March 2002
				    
			     www.splint.org

The win32 project file is not supported (that is, we don't test it other
than using it to build a Windows executable).  We recommend using the
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.

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.