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