Update Gerard Holzmann's Spin from version 6.1.0 (4 May 2011) to 6.2.5 (4 May 2013).

The manual was not updated between these two versions.

For information, here are the differences between the original version
from Gerard Holzmann and this Plan 9 version of Spin.

--- /sys/src/cmd/spin/main.c
+++ /sys/src/cmd/spin/main.c
@@ -554,7 +554,7 @@
 
 void
 non_fatal(char *s1, char *s2)
-{	extern int yychar; extern char yytext[];
+{	extern char yytext[];
 
 	printf("spin: %s:%d, Error: ",
 		Fname?Fname->name:(oFname?oFname->name:"nofilename"), lineno);
@@ -566,11 +566,6 @@
 	else
 		printf(s1);
 #endif
-	if (yychar > 0)
-	{	printf("	saw '");
-		explain(yychar);
-		printf("'");
-	}
 	if (strlen(yytext)>1)
 		printf(" near '%s'", yytext);
 	printf("\n");
--- /sys/src/cmd/spin/pangen1.c
+++ /sys/src/cmd/spin/pangen1.c
@@ -16,11 +16,6 @@
 #include "pangen3.h"
 #include "pangen6.h"
 #include <assert.h>
-#ifdef SOLARIS
-#include <sys/int_limits.h>
-#else
-#include <stdint.h>
-#endif
 
 extern FILE	*tc, *th, *tt;
 extern Label	*labtab;
@@ -155,9 +150,9 @@
 			i);
 		fprintf(th, "	unsigned _n   : %d; /* active-claim index */\n",
 			blog(nclaims));
-		if (i <= UINT8_MAX)	/* in stdint.h = UCHAR_MAX from limits.h */
+		if (i <= 255)	/* in stdint.h = UCHAR_MAX from limits.h */
 		{	fprintf(th, "	uchar c_cur[NCLAIMS]; /* claim-states */\n");
-		} else if (i <= UINT16_MAX)	/* really USHRT_MAX from limits.h */
+		} else if (i <= 65535)	/* really USHRT_MAX from limits.h */
 		{	fprintf(th, "	ushort c_cur[NCLAIMS]; /* claim-states */\n");
 		} else	/* the most unlikely case */
 		{	fprintf(th, "	uint c_cur[NCLAIMS]; /* claim-states */\n");
--- /sys/src/cmd/spin/spin.h
+++ /sys/src/cmd/spin/spin.h
@@ -15,9 +15,6 @@
 #include <stdio.h>
 #include <string.h>
 #include <ctype.h>
-#ifndef PC
-#include <memory.h>
-#endif
 
 enum	    { INIV, PUTV, LOGV };	/* for pangen[14].c */
 enum btypes { NONE, N_CLAIM, I_PROC, A_PROC, P_PROC, E_TRACE, N_TRACE };