file	spin/spin2.Src.tar.Z
for	Verification software for concurrent systems, with sources
by	Gerard J. Holzmann, AT&T Bell Laboratories, Murray Hill, NJ
lang	C

file	spin/spin2.Xspin.tar.Z
for	X-windows based interface to all functionality of SPIN version 2
lang	Tcl/Tk

file	spin/spin2.Other.tar.Z
for	Documentation and sanity Tests for SPIN version 2

file	spin/upgrades
for	shell-script for applying recent changes of SPIN sources

file	spin/news.html
for	Index to the SPIN Newsletters

file	spin/permission
for	Copyright and usage information
