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

	Commit message (Collapse)	Author	Age	Files	Lines
*	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> Notes: svn path=/head/; revision=21433
*	ln -> ${LN}	Michael Haro	1999-08-28	1	-1/+1
\| \| \| \|	Notes: svn path=/head/; revision=21047
*	Change Id->FreeBSD.	David E. O'Brien	1999-08-25	1	-1/+1
\| \| \| \|	Notes: svn path=/head/; revision=20960
*	Updated to version 3.33	Satoshi Taoka	1999-08-12	4	-13/+12
\| \| \| \| \| \| \| \|	PR: 13015 Submitted: maintainer Notes: svn path=/head/; revision=20662
*	Update spin to 3.30.	Chris Piazza	1999-06-25	7	-19/+35
\| \| \| \| \| \| \| \|	PR: 12373 Submitted by: maintainer Notes: svn path=/head/; revision=19757
*	Missed this one.	Satoshi Asami	1999-02-12	1	-0/+13
\| \| \| \|	Notes: svn path=/head/; revision=16642
*	Upgrade to 3.24, fixes build problem.	Satoshi Asami	1999-02-12	4	-16/+20
\| \| \| \| \| \| \| \|	PR: 9732 Submitted by: maintainer Notes: svn path=/head/; revision=16638
*	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 Notes: svn path=/head/; revision=15311