Index of /~brian/course/2007/cunix/code/splint-3.1.1

      Name                    Last modified       Size  Description


[DIR] Parent Directory        18-May-2007 22:23      -  
[TXT] Makefile                24-Feb-2007 21:37    18k  
[TXT] Makefile.am             02-Mar-2003 14:27     1k  
[TXT] Makefile.in             24-Feb-2007 21:36    18k  
[TXT] acinclude.m4            13-Oct-2001 21:16     1k  
[TXT] aclocal.m4              24-Feb-2007 21:29    35k  
[DIR] autom4te.cache/         24-Feb-2007 21:30      -  
[DIR] bin/                    24-Feb-2007 21:37      -  
[TXT] config.h                24-Feb-2007 21:30     3k  
[TXT] config.hin              24-Feb-2007 21:29     2k  
[TXT] config.log              24-Feb-2007 21:37    17k  
[TXT] config.status           24-Feb-2007 21:36    39k  
[DIR] config/                 30-Apr-2003 14:09      -  
[TXT] configure               24-Feb-2007 21:29   162k  
[TXT] configure.ac            30-Apr-2003 14:09     8k  
[DIR] doc/                    24-Feb-2007 21:36      -  
[   ] fixBinaryDist.sh        02-Mar-2003 14:27     1k  
[DIR] imports/                24-Feb-2007 21:36      -  
[TXT] install.html            29-Apr-2003 00:58     2k  
[DIR] lib/                    24-Feb-2007 21:36      -  
[DIR] src/                    24-Feb-2007 21:35      -  
[TXT] stamp-h1                24-Feb-2007 21:36     1k  

	  Splint - annotation-assisted static program checker
			 http://www.splint.org

			Copyright (C) 1994-2003
			University of Virginia,
		 Massachusetts Institute of Technology
		 
			     Version 3.1.0
			     12 April 2003

Splint Documentation
====================

Installation instructions are found with this distribution in
install.html (or at http://www.splint.org/source.html).

For documentation on Splint, please see http://www.splint.org