9 Commits

Author	SHA1	Message	Date
Maxim Sobolev	40a33a6070	- Support LOCALBASE properly (in setting path to custom wish script) ... PR: 19470 Submitted by: KATO Tsuguru <tkato@prontomail.ne.jp>	2000-06-23 13:44:03 +00:00
Steve Price	e56e18e098	Update to version 3.3.10. ... PR: 18549 Submitted by: maintainer	2000-05-29 03:09:13 +00:00
Chris D. Faulhaber	203c546fe7	* Update port to 3.3.8 ... * Fix unfetchable distfiles PR: 16321 Submitted by: Maintainer	2000-01-26 02:06:39 +00:00
Chris D. Faulhaber	4b353c2a01	Update port to 3.3.7 ... PR: 15617 Submitted by: Maintainer	1999-12-24 03:48:12 +00:00
Satoshi Taoka	f3f0604e7d	Updated to version 3.33 ... PR: 13015 Submitted: maintainer	1999-08-12 00:31:50 +00:00
Chris Piazza	df0bac14de	Update spin to 3.30. ... PR: 12373 Submitted by: maintainer	1999-06-25 03:51:43 +00:00
Satoshi Asami	80e0a134bb	Missed this one.	1999-02-12 03:03:40 +00:00
Satoshi Asami	f27ea50304	Upgrade to 3.24, fixes build problem. ... PR: 9732 Submitted by: maintainer	1999-02-12 02:48:58 +00:00
Justin M. Seger	2052cf95c1	Import of math spin: ... Spin is an efficient on-the-fly verification system (a `model checker') for asynchronous concurrent systems, such as data communication protocols, distributed operating systems, database systems, etc. It can be used to prove both safety and liveness properties, including all correctness requirements expressible in linear time temporal logic. PR: ports/9058 Submitted by: pangolin@home.com	1998-12-12 22:17:48 +00:00