More refactoring of library support.
[splint-patched.git] / README
blob37aa46b6c6ba1f92e3fec7d4528d9f5457779e26
1           Splint - annotation-assisted static program checker
2                          http://www.splint.org
4                         Copyright (C) 1994-2007
5                         University of Virginia,
6                  Massachusetts Institute of Technology
7                  
8                              Version 3.1.2
9                              12 July 2007
11 Splint Documentation
12 ====================
14 Installation instructions are found with this distribution in
15 install.html (or at http://www.splint.org/source.html).
17 For documentation on Splint, please see http://www.splint.org