• file: spin/bundle1
  for: flow.c lex.l main.c mesg.c pangen1.h pangen[234].c
• file: spin/bundle2
  for: makefile pangen1.c pangen[23].h pangen5.c run.c sched.c spin.h spin.y sym.c vars.c
• file: spin/bundle3
  for: read.me sunmakefile spin.1 ch6.notes roadmap, Updates to the book
• file: spin/bundle4
  for: xspin tclIndex Validation.tcl Simulation.tcl Help.tcl File.tcl Src.tcl

• glossary/thesaurus of terms used in this index

Eric and Jack