Skip site navigation (1)Skip section navigation (2)

CVS log for ports/devel/spin/files/Attic/patch-aa

[BACK] Up to [FreeBSD] / ports / devel / spin / files

Request diff between arbitrary revisions

Keyword substitution: kv
Default branch: MAIN

Revision 1.15
Fri Apr 11 16:33:33 2003 UTC (8 years, 10 months ago) by nork
Branches: MAIN
CVS tags: HEAD
FILE REMOVED
Changes since revision 1.14: +0 -0 lines
Update to 4.0.3.

PR:		ports/50706
Submitted by:	Jonathan Hanna <jhanna@shaw.ca> (maintainer)
Revision 1.14: download - view: text, markup, annotated - select for diffs
Thu Jan 2 19:58:31 2003 UTC (9 years, 1 month ago) by ijliao
Branches: MAIN
CVS tags: RELEASE_4_8_0
Diff to: previous 1.13: preferred, colored
Changes since revision 1.13: +8 -15 lines
upgrade to 3.5.2

PR:		46071
Submitted by:	maintainer
Revision 1.13: download - view: text, markup, annotated - select for diffs
Wed Oct 16 21:50:47 2002 UTC (9 years, 3 months ago) by obraun
Branches: MAIN
CVS tags: RELEASE_5_0_0
Diff to: previous 1.12: preferred, colored
Changes since revision 1.12: +14 -4 lines
* Upgrade to 3.5.0.
* Change maintainers email.
* Use REINPLACE.
* Add master site.

PR:		43753
Submitted by:	maintainer
Revision 1.12: download - view: text, markup, annotated - select for diffs
Sun May 27 13:03:44 2001 UTC (10 years, 8 months ago) by jeh
Branches: MAIN
CVS tags: old_RELEASE_5_0_DP1, old_RELEASE_4_6_0, old_RELEASE_4_5_0, old_RELEASE_4_4_0, RELEASE_4_7_0
Diff to: previous 1.11: preferred, colored
Changes since revision 1.11: +2 -2 lines
update to 3.4.7

PR:		27541
Submitted by:	jhanna@home.com
Revision 1.11: download - view: text, markup, annotated - select for diffs
Mon Feb 12 12:58:00 2001 UTC (11 years ago) by kevlo
Branches: MAIN
CVS tags: old_RELEASE_4_3_0
Diff to: previous 1.10: preferred, colored
Changes since revision 1.10: +1 -1 lines
Update to version 3.4.4

PR: 25024
Submitted by: MAINTAINER
Revision 1.10: download - view: text, markup, annotated - select for diffs
Sun Dec 10 15:38:08 2000 UTC (11 years, 2 months ago) by roam
Branches: MAIN
Diff to: previous 1.9: preferred, colored
Changes since revision 1.9: +2 -2 lines
Update to 3.4.2

PR:		23408
Submitted by:	maintainer
Revision 1.9: download - view: text, markup, annotated - select for diffs
Sat Sep 16 20:18:20 2000 UTC (11 years, 4 months ago) by ade
Branches: MAIN
CVS tags: old_RELEASE_4_2_0, old_RELEASE_4_1_1
Diff to: previous 1.8: preferred, colored
Changes since revision 1.8: +2 -2 lines
Update to 3.4.1

PR:		21181
Submitted by:	maintainer
Revision 1.8: download - view: text, markup, annotated - select for diffs
Fri Jun 23 13:43:59 2000 UTC (11 years, 7 months ago) by sobomax
Branches: MAIN
CVS tags: old_RELEASE_4_1_0
Diff to: previous 1.7: preferred, colored
Changes since revision 1.7: +1 -1 lines
- Support LOCALBASE properly (in setting path to custom wish script)

PR:		19470
Submitted by:	KATO Tsuguru <tkato@prontomail.ne.jp>
Revision 1.7: download - view: text, markup, annotated - select for diffs
Mon May 29 03:09:13 2000 UTC (11 years, 8 months ago) by steve
Branches: MAIN
CVS tags: old_RELEASE_3_5_0
Diff to: previous 1.6: preferred, colored
Changes since revision 1.6: +2 -2 lines
Update to version 3.3.10.

PR:		18549
Submitted by:	maintainer
Revision 1.6: download - view: text, markup, annotated - select for diffs
Wed Jan 26 02:06:38 2000 UTC (12 years ago) by jedgar
Branches: MAIN
CVS tags: old_RELEASE_4_0_0
Diff to: previous 1.5: preferred, colored
Changes since revision 1.5: +2 -2 lines
* Update port to 3.3.8
* Fix unfetchable distfiles

PR:		16321
Submitted by:	Maintainer
Revision 1.5: download - view: text, markup, annotated - select for diffs
Fri Dec 24 03:48:10 1999 UTC (12 years, 1 month ago) by jedgar
Branches: MAIN
Diff to: previous 1.4: preferred, colored
Changes since revision 1.4: +2 -2 lines
Update port to 3.3.7

PR:		15617
Submitted by:	Maintainer
Revision 1.4: download - view: text, markup, annotated - select for diffs
Thu Aug 12 00:31:49 1999 UTC (12 years, 6 months ago) by taoka
Branches: MAIN
CVS tags: old_RELEASE_3_4_0, old_RELEASE_3_3_0
Diff to: previous 1.3: preferred, colored
Changes since revision 1.3: +2 -2 lines
Updated to version 3.33

PR:		13015
Submitted:	maintainer
Revision 1.3: download - view: text, markup, annotated - select for diffs
Fri Jun 25 03:51:36 1999 UTC (12 years, 7 months ago) by cpiazza
Branches: MAIN
Diff to: previous 1.2: preferred, colored
Changes since revision 1.2: +2 -2 lines
Update spin to 3.30.

PR:	12373
Submitted by:	maintainer
Revision 1.2: download - view: text, markup, annotated - select for diffs
Fri Feb 12 02:48:57 1999 UTC (13 years ago) by asami
Branches: MAIN
CVS tags: old_RELEASE_3_2_0, old_RELEASE_3_1_0
Diff to: previous 1.1: preferred, colored
Changes since revision 1.1: +5 -5 lines
Upgrade to 3.24, fixes build problem.

PR:		9732
Submitted by:	maintainer
Revision 1.1.1.1 (vendor branch): download - view: text, markup, annotated - select for diffs
Sat Dec 12 22:17:48 1998 UTC (13 years, 2 months ago) by jseger
Branches: old_JHANNA
CVS tags: old_v3_23
Diff to: previous 1.1: preferred, colored
Changes since revision 1.1: +0 -0 lines
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
Revision 1.1: download - view: text, markup, annotated - select for diffs
Sat Dec 12 22:17:48 1998 UTC (13 years, 2 months ago) by jseger
Branches: MAIN
Initial revision
Diff request

This form allows you to request diffs between any two revisions of a file. You may select a symbolic revision name using the selection box or you may type in a numeric name using the type-in text box.

Log view options