This is the mail archive of the
cygwin
mailing list for the Cygwin project.
Re: Help needed for using SPIN
- From: bobby mcnulty junior <bobbymcn at bellsouth dot net>
- To: Patrick Fulgence <fugeesonlyone at yahoo dot fr>
- Cc: cygwin at cygwin dot com
- Date: Sun, 28 Nov 2004 23:59:14 -0600
- Subject: Re: Help needed for using SPIN
- References: <loom.20041129T054225-693@post.gmane.org>
- Reply-to: snyder100 at bellsouth dot net
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@bellsouth.net
webpage: www.geocities.com/bobbymcn2004
begin:vcard
fn:Robert McNulty Junior
n:McNulty Junior;Robert
adr:;;3971 Linda Ann Drive;Millbrook;AL;36054;USA
email;internet:snyder100@bellsouth.net
tel;home:1-334-285-5490
x-mozilla-html:FALSE
url:http://www.geocities.com/bobbymcn2004
version:2.1
end:vcard
--
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/