ports.git - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Collapse)	Author	Age	Files	Lines
*	update to 3.4.5	Michael Haro	2001-03-29	2	-3/+3
\| \| \| \| \|	PR: 26062 Submitted by: maintainer
*	Update to version 3.4.4	Kevin Lo	2001-02-12	3	-5/+9
\| \| \| \| \|	PR: 25024 Submitted by: MAINTAINER
*	Update to 3.4.2	Peter Pentchev	2000-12-10	4	-9/+9
\| \| \| \| \|	PR: 23408 Submitted by: maintainer
*	Update to 3.4.1	Ade Lovett	2000-09-16	5	-17/+24
\| \| \| \| \|	PR: 21181 Submitted by: maintainer
*	- Support LOCALBASE properly (in setting path to custom wish script)	Maxim Sobolev	2000-06-23	2	-1/+4
\| \| \| \| \|	PR: 19470 Submitted by: KATO Tsuguru <tkato@prontomail.ne.jp>
*	Update to version 3.3.10.	Steve Price	2000-05-29	4	-8/+8
\| \| \| \| \|	PR: 18549 Submitted by: maintainer
*	ftp.cdrom.com -> ftp.freesoftware.com, adjusting paths as I go.	Bill Fumerola	2000-05-14	1	-1/+1
\|
*	Convert to PORTNAME/PORTVERSION.	Satoshi Asami	2000-04-14	1	-2/+2
\|
*	Update port to 3.3.9	Chris D. Faulhaber	2000-02-09	2	-4/+4
\| \| \| \| \|	PR: 16531 Submitted by: Maintainer
*	* Update port to 3.3.8	Chris D. Faulhaber	2000-01-26	4	-9/+9
\| \| \| \| \| \| \|	* Fix unfetchable distfiles PR: 16321 Submitted by: Maintainer
*	Update port to 3.3.7	Chris D. Faulhaber	1999-12-24	4	-9/+9
\| \| \| \| \|	PR: 15617 Submitted by: Maintainer
*	Update to 3.3.5 and fixes unfetchable distfile	Seiichirou Hiraoka	1999-10-11	2	-4/+4
\| \| \| \| \|	PR: ports/14252 Submitted by: jh@cr1003333-a.crdva1.bc.home.com
*	xspin333.tcl should be in the PLIST, not 300	Chris Piazza	1999-09-08	1	-1/+1
\| \| \| \| \|	PR: 13620 Submitted by: Jonathan Hanna <pangolin@home.com>
*	ln -> ${LN}	Michael Haro	1999-08-28	1	-1/+1
\|
*	Change Id->FreeBSD.	David E. O'Brien	1999-08-25	1	-1/+1
\|
*	Updated to version 3.33	Satoshi Taoka	1999-08-12	4	-13/+12
\| \| \| \| \|	PR: 13015 Submitted: maintainer
*	Update spin to 3.30.	Chris Piazza	1999-06-25	7	-19/+35
\| \| \| \| \|	PR: 12373 Submitted by: maintainer
*	Missed this one.	Satoshi Asami	1999-02-12	1	-0/+13
\|
*	Upgrade to 3.24, fixes build problem.	Satoshi Asami	1999-02-12	4	-16/+20
\| \| \| \| \|	PR: 9732 Submitted by: maintainer
*	Import of math spin:	Justin M. Seger	1998-12-12	6	-0/+191
	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