]>
Commit | Line | Data |
---|---|---|
1 | Splint - annotation-assisted static program checker | |
2 | http://www.splint.org | |
3 | ||
4 | Copyright (C) 1994-2003 | |
5 | University of Virginia, | |
6 | Massachusetts Institute of Technology | |
7 | ||
8 | Version 3.1.0 | |
9 | 12 April 2003 | |
10 | ||
11 | Splint Documentation | |
12 | ==================== | |
13 | ||
14 | Installation instructions are found with this distribution in | |
15 | install.html (or at http://www.splint.org/source.html). | |
16 | ||
17 | For documentation on Splint, please see http://www.splint.org | |
18 |