From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <linux-kernel-owner@vger.kernel.org>
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
	id <S268926AbRHaSxE>; Fri, 31 Aug 2001 14:53:04 -0400
Received: (majordomo@vger.kernel.org) by vger.kernel.org
	id <S268934AbRHaSwy>; Fri, 31 Aug 2001 14:52:54 -0400
Received: from relay1.zonnet.nl ([62.58.50.37]:38391 "EHLO relay1.zonnet.nl")
	by vger.kernel.org with ESMTP id <S268926AbRHaSwk>;
	Fri, 31 Aug 2001 14:52:40 -0400
Message-ID: <3B8FDD03.FABE1F8F@linux-m68k.org>
Date: Fri, 31 Aug 2001 20:52:51 +0200
From: Roman Zippel <zippel@linux-m68k.org>
X-Mailer: Mozilla 4.77 [en] (X11; U; Linux 2.4.8 i686)
X-Accept-Language: en
MIME-Version: 1.0
To: acc@CS.Stanford.EDU
CC: ptb@it.uc3m.es, linux-kernel@vger.kernel.org
Subject: Re: [IDEA+RFC] Possible solution for min()/max() war
In-Reply-To: <20010831112905.A20937@Xenon.Stanford.EDU>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Sender: linux-kernel-owner@vger.kernel.org
X-Mailing-List: linux-kernel@vger.kernel.org

Hi,

Andy Chou wrote:

> SVC isn't the "Stanford Checker" that has been resulting in kernel
> patches.  The name "Stanford Checker" was invented by people on LKML; the
> real name of the project is Meta-level compilation, and its URL is:
> 
> http://hands.stanford.edu

Sorry, I should have checked it more carefully.
(bad google... :) )

bye, Roman