Mailing-List: contact cygwin-help AT cygwin DOT com; run by ezmlm
Sender: cygwin-owner AT cygwin DOT com
Mail-Followup-To: cygwin AT cygwin DOT com
Message-ID: <41AABAB2.1020306@bellsouth.net>
Date: Sun, 28 Nov 2004 23:59:14 -0600
From: bobby mcnulty junior <bobbymcn AT bellsouth DOT net>
Reply-To: snyder100 AT bellsouth DOT net
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.7.2) Gecko/20040804 Netscape/7.2 (ax)
MIME-Version: 1.0
To: Patrick Fulgence <fugeesonlyone AT yahoo DOT fr>
CC: cygwin AT cygwin DOT com
Subject: Re: Help needed for using SPIN
References: <loom DOT 20041129T054225-693 AT post DOT gmane DOT org>
In-Reply-To: <loom.20041129T054225-693@post.gmane.org>
Content-Type: multipart/mixed; boundary="------------050106050505060205010202"

--------------050106050505060205010202
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit

Patrick Fulgence wrote:
> Hi, 
> 
> I need to learn how to use the tool SPIN based on promela language. What do I 
> need to get on my computer for that ? I've very embarassed because I don't 
> arrive to do antything for understanding how it works. I've read a lot of 
> stuff about that nut I still being not on the way for using it. Need your help 
> please.
> 
> Thanks.
> Patrick.
> 
> 
> --
> Unsubscribe info:      http://cygwin.com/ml/#unsubscribe-simple
> Problem reports:       http://cygwin.com/problems.html
> Documentation:         http://cygwin.com/docs.html
> FAQ:                   http://cygwin.com/faq/
> 

> 
Wrong mailing, we have nothing do with Spin. This is Cygwin, Not Spin or
promela.


-- 
Robert McNulty Junior
email: snyder100 AT bellsouth DOT net
webpage: www.geocities.com/bobbymcn2004

--------------050106050505060205010202
Content-Type: text/x-vcard; charset=utf-8;
 name="bobbymcn.vcf"
Content-Transfer-Encoding: 7bit
Content-Disposition: attachment;
 filename="bobbymcn.vcf"

begin:vcard
fn:Robert McNulty Junior
n:McNulty Junior;Robert
adr:;;3971 Linda Ann Drive;Millbrook;AL;36054;USA
email;internet:snyder100 AT bellsouth DOT net
tel;home:1-334-285-5490
x-mozilla-html:FALSE
url:http://www.geocities.com/bobbymcn2004
version:2.1
end:vcard



--------------050106050505060205010202
Content-Type: text/plain; charset=us-ascii

--
Unsubscribe info:      http://cygwin.com/ml/#unsubscribe-simple
Problem reports:       http://cygwin.com/problems.html
Documentation:         http://cygwin.com/docs.html
FAQ:                   http://cygwin.com/faq/
--------------050106050505060205010202--