From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: "Yuwei Wong" Newsgroups: gmane.emacs.help Subject: NuSmv Date: Mon, 13 Sep 2004 17:45:59 +0800 Sender: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Message-ID: NNTP-Posting-Host: deer.gmane.org Mime-Version: 1.0 Content-Type: text/plain; format=flowed X-Trace: sea.gmane.org 1095068797 15569 80.91.229.6 (13 Sep 2004 09:46:37 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Mon, 13 Sep 2004 09:46:37 +0000 (UTC) Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Mon Sep 13 11:46:19 2004 Return-path: Original-Received: from lists.gnu.org ([199.232.76.165]) by deer.gmane.org with esmtp (Exim 3.35 #1 (Debian)) id 1C6nPf-0005BP-00 for ; Mon, 13 Sep 2004 11:46:19 +0200 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.33) id 1C6nVB-000355-95 for geh-help-gnu-emacs@m.gmane.org; Mon, 13 Sep 2004 05:52:01 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.33) id 1C6nV0-00034q-D0 for help-gnu-emacs@gnu.org; Mon, 13 Sep 2004 05:51:50 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.33) id 1C6nUy-00034d-60 for help-gnu-emacs@gnu.org; Mon, 13 Sep 2004 05:51:50 -0400 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.33) id 1C6nUy-00034a-3V for help-gnu-emacs@gnu.org; Mon, 13 Sep 2004 05:51:48 -0400 Original-Received: from [64.4.35.14] (helo=hotmail.com) by monty-python.gnu.org with esmtp (Exim 4.34) id 1C6nPN-0005Mm-CN for help-gnu-emacs@gnu.org; Mon, 13 Sep 2004 05:46:01 -0400 Original-Received: from mail pickup service by hotmail.com with Microsoft SMTPSVC; Mon, 13 Sep 2004 02:45:59 -0700 Original-Received: from 222.152.181.174 by by12fd.bay12.hotmail.msn.com with HTTP; Mon, 13 Sep 2004 09:45:59 GMT X-Originating-IP: [222.152.181.174] X-Originating-Email: [yuwei_wong@hotmail.com] X-Sender: yuwei_wong@hotmail.com Original-To: help-gnu-emacs@gnu.org X-OriginalArrivalTime: 13 Sep 2004 09:45:59.0922 (UTC) FILETIME=[79A45520:01C49976] X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Xref: main.gmane.org gmane.emacs.help:20656 X-Report-Spam: http://spam.gmane.org/gmane.emacs.help:20656 hello: there is a question about adding some function to my emaces. i used NuSmv in my Uni lab, then i download the NuSMV binaries Pre-compiled version , but i dont know how to get it work in my computer. r there any body can fix my problem? thx a lot. NuSmv: http://nusmv.irst.itc.it/ Alex Wong _________________________________________________________________ Add photos to your e-mail with MSN 8. Get 2 months FREE*. http://join.msn.com/?page=features/featuredemail