6 The win32 project file is not supported (that is, we don't test it other
\r
7 than using it to build a Windows executable). We recommend using the
\r
8 pre-compiled Win32 binary (available from http://www.splint.org) instead
\r
9 of building a Win32 binary from the source code, and using a Unix
\r
10 platform if you want to modify the Splint sources.
\r
12 This project file has been used to compile Splint using Microsoft Visual
\r