• 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< MENU>
• for: X-windows based interface to all functionality of SPIN
• lang: Tcl/Tk
• file: spin/spin2.Other.tar.Z< MENU>
• for: Documentation and sanity Tests for SPIN version 2
• file: spin/upgrades.Z< MENU>
• for: shell-script for applying recent changes of the version 2 sources
• file: spin/news.html.Z
  for: Index to SPIN Newsletters
• file: spin/permission.Z
  for: Copyright and usage information

• glossary/thesaurus of terms used in this index

Eric and Jack