cvs commit: src/sys/kern init_main.c kern_malloc.c md5c.c subr_autoconf.c subr_mbuf.c subr_prf.c tty_subr.c vfs_cluster.c vfs_subr.c

[Julian Elischer]

On Sun, 27 Jul 2003, Robert Watson wrote:

> of having formalism and analysis tools available in development wouldn't
> be to use a language other than C... :-)

didn't we discuss this at USENIX? :-)