/ n / sources / patch / saved / spin-624

• dstep.c
• dstep.c.orig
• email
• files
• flow.c
• flow.c.orig
• guided.c
• guided.c.orig
• main.c
• main.c.orig
• mesg.c
• mesg.c.orig
• notes
• origls
• pangen1.c
• pangen1.c.orig
• pangen1.h
• pangen1.h.orig
• pangen2.c
• pangen2.c.orig
• pangen2.h
• pangen2.h.orig
• pangen3.c
• pangen3.c.orig
• pangen3.h
• pangen3.h.orig
• pangen4.c
• pangen4.c.orig
• pangen4.h
• pangen4.h.orig
• pangen5.c
• pangen5.c.orig
• pangen6.c
• pangen6.c.orig
• pangen6.h
• pangen6.h.orig
• pangen7.c
• pangen7.c.orig
• pangen7.h
• readme
• reprosrc.c
• reprosrc.c.orig
• run.c
• run.c.orig
• sched.c
• sched.c.orig
• spin.h
• spin.h.orig
• spin.y
• spin.y.orig
• spinlex.c
• spinlex.c.orig
• sym.c
• sym.c.orig
• tl_buchi.c
• tl_buchi.c.orig
• tl_lex.c
• tl_lex.c.orig
• tl_main.c
• tl_main.c.orig
• tl_parse.c
• tl_parse.c.orig
• tl_rewrt.c
• tl_rewrt.c.orig
• vars.c
• vars.c.orig
• version.h
• version.h.orig