--rw-rw-r-- geoff sys    311 Jul 21  2007 README
--rw-rw-r-- geoff sys    311 Jul 21  2007 README.orig
--rw-rw-r-- geoff sys  10009 Jul 21  2007 dstep.c
--rw-rw-r-- geoff sys   9958 Jul 21  2007 dstep.c.orig
--rw-rw-r-- geoff sys     19 Jul 21  2007 email
--rw-rw-r-- geoff sys   1423 Jul 21  2007 files
--rw-rw-r-- geoff sys  17303 Jul 21  2007 flow.c
--rw-rw-r-- geoff sys  17345 Jul 21  2007 flow.c.orig
--rw-rw-r-- geoff sys   7045 Jul 21  2007 guided.c
--rw-rw-r-- geoff sys   6948 Jul 21  2007 guided.c.orig
--rw-rw-r-- geoff sys  21670 Jul 21  2007 main.c
--rw-rw-r-- geoff sys  21713 Jul 21  2007 main.c.orig
--rw-rw-r-- geoff sys  14109 Jul 21  2007 mesg.c
--rw-rw-r-- geoff sys  13722 Jul 21  2007 mesg.c.orig
--rw-rw-r-- geoff sys    696 Jul 21  2007 mkfile
--rw-rw-r-- geoff sys    696 Jul 21  2007 mkfile.orig
--rw-rw-r-- geoff sys     97 Aug  5  2007 notes
--rw-rw-r-- geoff sys     53 Aug  7  2007 origls
--rw-rw-r-- geoff sys  31423 Jul 21  2007 pangen1.c
--rw-rw-r-- geoff sys  29801 Jul 21  2007 pangen1.c.orig
--rw-rw-r-- geoff sys 137482 Jul 21  2007 pangen1.h
--rw-rw-r-- geoff sys 134192 Jul 21  2007 pangen1.h.orig
--rw-rw-r-- geoff sys  75808 Jul 21  2007 pangen2.c
--rw-rw-r-- geoff sys  74348 Jul 21  2007 pangen2.c.orig
--rw-rw-r-- geoff sys  23811 Jul 21  2007 pangen2.h
--rw-rw-r-- geoff sys  23109 Jul 21  2007 pangen2.h.orig
--rw-rw-r-- geoff sys   8914 Jul 21  2007 pangen3.c
--rw-rw-r-- geoff sys   8941 Jul 21  2007 pangen3.c.orig
--rw-rw-r-- geoff sys  22760 Jul 21  2007 pangen3.h
--rw-rw-r-- geoff sys  22484 Jul 21  2007 pangen3.h.orig
--rw-rw-r-- geoff sys   8138 Jul 21  2007 pangen4.c
--rw-rw-r-- geoff sys   8180 Jul 21  2007 pangen4.c.orig
--rw-rw-r-- geoff sys  19034 Jul 21  2007 pangen4.h
--rw-rw-r-- geoff sys  19033 Jul 21  2007 pangen4.h.orig
--rw-rw-r-- geoff sys  16809 Jul 21  2007 pangen5.c
--rw-rw-r-- geoff sys  16851 Jul 21  2007 pangen5.c.orig
--rw-rw-r-- geoff sys  11145 Jul 21  2007 pangen5.h
--rw-rw-r-- geoff sys  11145 Jul 21  2007 pangen5.h.orig
--rw-rw-r-- geoff sys  48587 Jul 21  2007 pangen6.c
--rw-rw-r-- geoff sys  48633 Jul 21  2007 pangen6.c.orig
--rw-rw-r-- geoff sys   8745 Jul 21  2007 pc_zpp.c
--rw-rw-r-- geoff sys   8737 Jul 21  2007 pc_zpp.c.orig
--rw-rw-r-- geoff sys  11872 Jul 21  2007 ps_msc.c
--rw-rw-r-- geoff sys  11872 Jul 21  2007 ps_msc.c.orig
--rw-rw-r-- geoff sys     95 Jul 21  2007 readme
--rw-rw-r-- geoff sys   2936 Jul 21  2007 reprosrc.c
--rw-rw-r-- geoff sys   2978 Jul 21  2007 reprosrc.c.orig
--rw-rw-r-- geoff sys  14364 Jul 21  2007 run.c
--rw-rw-r-- geoff sys  14405 Jul 21  2007 run.c.orig
--rw-rw-r-- geoff sys  21862 Jul 21  2007 sched.c
--rw-rw-r-- geoff sys  21096 Jul 21  2007 sched.c.orig
--rw-rw-r-- geoff sys   7421 Jul 21  2007 spin
--rw-rw-r-- geoff sys  12331 Jul 21  2007 spin.h
--rw-rw-r-- geoff sys  12286 Jul 21  2007 spin.h.orig
--rw-rw-r-- geoff sys   7422 Jul 21  2007 spin.orig
--rw-rw-r-- geoff sys  19060 Jul 21  2007 spin.y
--rw-rw-r-- geoff sys  18876 Jul 21  2007 spin.y.orig
--rw-rw-r-- geoff sys  31555 Jul 21  2007 spinlex.c
--rw-rw-r-- geoff sys  30767 Jul 21  2007 spinlex.c.orig
--rw-rw-r-- geoff sys  14108 Jul 21  2007 structs.c
--rw-rw-r-- geoff sys  14150 Jul 21  2007 structs.c.orig
--rw-rw-r-- geoff sys  11879 Jul 21  2007 sym.c
--rw-rw-r-- geoff sys  11863 Jul 21  2007 sym.c.orig
--rw-rw-r-- geoff sys   3332 Jul 21  2007 tl.h
--rw-rw-r-- geoff sys   3332 Jul 21  2007 tl.h.orig
--rw-rw-r-- geoff sys  13080 Jul 21  2007 tl_buchi.c
--rw-rw-r-- geoff sys  13080 Jul 21  2007 tl_buchi.c.orig
--rw-rw-r-- geoff sys   5831 Jul 21  2007 tl_cache.c
--rw-rw-r-- geoff sys   5831 Jul 21  2007 tl_cache.c.orig
--rw-rw-r-- geoff sys   3244 Jul 21  2007 tl_lex.c
--rw-rw-r-- geoff sys   3243 Jul 21  2007 tl_lex.c.orig
--rw-rw-r-- geoff sys   4679 Jul 21  2007 tl_main.c
--rw-rw-r-- geoff sys   4412 Jul 21  2007 tl_main.c.orig
--rw-rw-r-- geoff sys   2670 Jul 21  2007 tl_mem.c
--rw-rw-r-- geoff sys   2670 Jul 21  2007 tl_mem.c.orig
--rw-rw-r-- geoff sys   8348 Jul 21  2007 tl_parse.c
--rw-rw-r-- geoff sys   8257 Jul 21  2007 tl_parse.c.orig
--rw-rw-r-- geoff sys   5962 Jul 21  2007 tl_rewrt.c
--rw-rw-r-- geoff sys   5962 Jul 21  2007 tl_rewrt.c.orig
--rw-rw-r-- geoff sys  16758 Jul 21  2007 tl_trans.c
--rw-rw-r-- geoff sys  16758 Jul 21  2007 tl_trans.c.orig
--rw-rw-r-- geoff sys   8374 Jul 21  2007 vars.c
--rw-rw-r-- geoff sys   8393 Jul 21  2007 vars.c.orig
--rw-rw-r-- geoff sys     53 Jul 21  2007 version.h
--rw-rw-r-- geoff sys     53 Jul 21  2007 version.h.orig