James E. Housley
ee0f012fb0
update to 3.4.7
...
PR: 27541
Submitted by: jhanna@home.com
2001-05-27 13:03:44 +00:00
Kevin Lo
45ace1ed85
Update to version 3.4.4
...
PR: 25024
Submitted by: MAINTAINER
2001-02-12 12:58:00 +00:00
Peter Pentchev
4c30955d29
Update to 3.4.2
...
PR: 23408
Submitted by: maintainer
2000-12-10 15:38:08 +00:00
Ade Lovett
b630d590c1
Update to 3.4.1
...
PR: 21181
Submitted by: maintainer
2000-09-16 20:18:20 +00:00
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
