From owner-cvs-all@FreeBSD.ORG Sun Jul 27 12:39:08 2003 Return-Path: Delivered-To: cvs-all@freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id B3BB837B401; Sun, 27 Jul 2003 12:39:08 -0700 (PDT) Received: from rwcrmhc13.comcast.net (rwcrmhc13.comcast.net [204.127.198.39]) by mx1.FreeBSD.org (Postfix) with ESMTP id 60BB743FAF; Sun, 27 Jul 2003 12:39:07 -0700 (PDT) (envelope-from julian@elischer.org) Received: from interjet.elischer.org ([12.233.125.100]) by attbi.com (rwcrmhc13) with ESMTP id <2003072719390401500o587ae>; Sun, 27 Jul 2003 19:39:04 +0000 Received: from localhost (localhost.elischer.org [127.0.0.1]) by InterJet.elischer.org (8.9.1a/8.9.1) with ESMTP id MAA96662; Sun, 27 Jul 2003 12:39:03 -0700 (PDT) Date: Sun, 27 Jul 2003 12:39:02 -0700 (PDT) From: Julian Elischer To: Robert Watson In-Reply-To: Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII cc: Poul-Henning Kamp cc: src-committers@freebsd.org cc: cvs-src@freebsd.org cc: Alexander Leidinger cc: dds@freebsd.org cc: cvs-all@freebsd.org Subject: Re: 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 X-BeenThere: cvs-all@freebsd.org X-Mailman-Version: 2.1.1 Precedence: list List-Id: CVS commit messages for the entire tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 27 Jul 2003 19:39:09 -0000 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? :-)