]>
Commit | Line | Data |
---|---|---|
747ae48b | 1 | Spint Version 3.0.1\r |
2 | 7 January 2002\r | |
3 | \r | |
4 | www.splint.org\r | |
5 | \r | |
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 | |
11 | \r | |
12 | This project file has been used to compile Splint using Microsoft Visual\r | |
13 | C++ 6.0.\r | |
14 | \r | |
15 | \r |