From bruno@csl.sri.com Mon Nov 13 10:41:43 2006
X-Spam-Checker-Version: SpamAssassin 3.1.1 (2006-03-10) on postal.csl.sri.com
X-Spam-Status: No, hits=-1.2 required=4.0 tests=ALL_TRUSTED=-1.44,AWL=0.230 
	autolearn=disabled version=3.1.1 date=Mon, 13 Nov 2006 10:41:44 -0800
X-Spam-Level: 
X-Original-Received: from mx1.csl.sri.com (mx1.csl.sri.com [130.107.1.29])
	by postal.csl.sri.com (8.13.6/8.13.4) with ESMTP id kADIfhp0095284;
	Mon, 13 Nov 2006 10:41:43 -0800 (PST)
	(envelope-from bruno@csl.sri.com)
X-Original-Received: from [130.107.15.210] (box.csl.sri.com [130.107.15.210])
	by mx1.csl.sri.com (8.13.6/8.12.11) with ESMTP id
	kADIfhZR073253; Mon, 13 Nov 2006 10:41:43 -0800 (PST)
	(envelope-from bruno@csl.sri.com)
Message-ID: <4558BC67.9040401@csl.sri.com>
Date: Mon, 13 Nov 2006 10:41:43 -0800
From: Bruno Dutertre <bruno@csl.sri.com>
User-Agent: Mozilla Thunderbird 0.7.3 (X11/20040803)
X-Accept-Language: en-us, en
MIME-Version: 1.0
To: yices@csl.sri.com, yices-announce@csl.sri.com
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
X-Mailman-Approved-At: Mon, 13 Nov 2006 10:42:16 -0800
Cc: 
Subject: [YICES-ANNOUNCE] New yices release
X-BeenThere: yices-announce@csl.sri.com
X-Mailman-Version: 2.1.3
Precedence: list
List-Id: YICES-ANNOUNCE <yices-announce.csl.sri.com>
List-Unsubscribe: <http://lists.csl.sri.com/mailman/listinfo/yices-announce>, 
	<mailto:yices-announce-request@csl.sri.com?subject=unsubscribe>
List-Archive: <http://lists.csl.sri.com/pipermail/yices-announce>
List-Post: <mailto:yices-announce@csl.sri.com>
List-Help: <mailto:yices-announce-request@csl.sri.com?subject=help>
List-Subscribe: <http://lists.csl.sri.com/mailman/listinfo/yices-announce>,
	<mailto:yices-announce-request@csl.sri.com?subject=subscribe>
X-List-Received-Date: Mon, 13 Nov 2006 18:41:44 -0000

Hello,

A new version of yices has been relased today and can be
downloaded at http://yices.csl.sri.com/

There are no new features but this new release fixes
several bugs reported by users.

If you see other problems, please report any issues
at yices-bugs.csl.sri.com.

Thanks,

Bruno