/sources/patch/applied/spin-610/
     10024 2011-11-17 dstep.c
     10009 2011-12-12 dstep.c.backup
     10024 2011-12-12 dstep.c.new
     10009 2011-11-17 dstep.c.orig
        13 2011-11-17 email
      1393 2011-11-17 files
     23433 2011-11-17 flow.c
     17303 2011-12-12 flow.c.backup
     23433 2011-12-12 flow.c.new
     17303 2011-11-17 flow.c.orig
      7705 2011-11-17 guided.c
      7045 2011-12-12 guided.c.backup
      7705 2011-12-12 guided.c.new
      7045 2011-11-17 guided.c.orig
     24659 2011-11-17 main.c
     21670 2011-12-12 main.c.backup
     24659 2011-12-12 main.c.new
     21670 2011-11-17 main.c.orig
     16800 2011-11-17 mesg.c
     14109 2011-12-12 mesg.c.backup
     16800 2011-12-12 mesg.c.new
     14109 2011-11-17 mesg.c.orig
       719 2011-11-17 mkfile
       696 2011-12-12 mkfile.backup
       719 2011-12-12 mkfile.new
       696 2011-11-17 mkfile.orig
         0 2011-11-17 notes
        53 2011-12-12 origls
     40221 2011-11-17 pangen1.c
     31423 2011-12-12 pangen1.c.backup
     40221 2011-12-12 pangen1.c.new
     31423 2011-11-17 pangen1.c.orig
    198341 2011-11-17 pangen1.h
    137482 2011-12-12 pangen1.h.backup
    198341 2011-12-12 pangen1.h.new
    137482 2011-11-17 pangen1.h.orig
     81963 2011-11-17 pangen2.c
     75808 2011-12-12 pangen2.c.backup
     81963 2011-12-12 pangen2.c.new
     75808 2011-11-17 pangen2.c.orig
     33201 2011-11-17 pangen2.h
     23811 2011-12-12 pangen2.h.backup
     33201 2011-12-12 pangen2.h.new
     23811 2011-11-17 pangen2.h.orig
      9711 2011-11-17 pangen3.c
      8914 2011-12-12 pangen3.c.backup
      9711 2011-12-12 pangen3.c.new
      8914 2011-11-17 pangen3.c.orig
     29273 2011-11-17 pangen3.h
     22760 2011-12-12 pangen3.h.backup
     29273 2011-12-12 pangen3.h.new
     22760 2011-11-17 pangen3.h.orig
      8237 2011-11-17 pangen4.c
      8138 2011-12-12 pangen4.c.backup
      8237 2011-12-12 pangen4.c.new
      8138 2011-11-17 pangen4.c.orig
     16804 2011-11-17 pangen5.c
     16809 2011-12-12 pangen5.c.backup
     16804 2011-12-12 pangen5.c.new
     16809 2011-11-17 pangen5.c.orig
     11151 2011-11-17 pangen5.h
     11145 2011-12-12 pangen5.h.backup
     11151 2011-12-12 pangen5.h.new
     11145 2011-11-17 pangen5.h.orig
     48260 2011-11-17 pangen6.c
     48587 2011-12-12 pangen6.c.backup
     48260 2011-12-12 pangen6.c.new
     48587 2011-11-17 pangen6.c.orig
     91291 2011-11-17 pangen6.h
     91291 2011-12-12 pangen6.h.new
     18888 2011-11-17 pangen7.c
     18888 2011-12-12 pangen7.c.new
      9418 2011-11-17 pc_zpp.c
      8745 2011-12-12 pc_zpp.c.backup
      9418 2011-12-12 pc_zpp.c.new
      8745 2011-11-17 pc_zpp.c.orig
     11886 2011-11-17 ps_msc.c
     11872 2011-12-12 ps_msc.c.backup
     11886 2011-12-12 ps_msc.c.new
     11872 2011-11-17 ps_msc.c.orig
      1208 2011-11-17 readme
      2939 2011-11-17 reprosrc.c
      2936 2011-12-12 reprosrc.c.backup
      2939 2011-12-12 reprosrc.c.new
      2936 2011-11-17 reprosrc.c.orig
     15109 2011-11-17 run.c
     14364 2011-12-12 run.c.backup
     15109 2011-12-12 run.c.new
     14364 2011-11-17 run.c.orig
     23441 2011-11-17 sched.c
     21862 2011-12-12 sched.c.backup
     23441 2011-12-12 sched.c.new
     21862 2011-11-17 sched.c.orig
      8540 2011-11-17 spin
      6685 2011-12-12 spin.backup
     13096 2011-11-17 spin.h
     12331 2011-12-12 spin.h.backup
     13096 2011-12-12 spin.h.new
     12331 2011-11-17 spin.h.orig
      8540 2011-12-12 spin.new
      6685 2011-11-17 spin.orig
     24610 2011-11-17 spin.y
     19060 2011-12-12 spin.y.backup
     24610 2011-12-12 spin.y.new
     19060 2011-11-17 spin.y.orig
     34525 2011-11-17 spinlex.c
     31555 2011-12-12 spinlex.c.backup
     34525 2011-12-12 spinlex.c.new
     31555 2011-11-17 spinlex.c.orig
     14551 2011-11-17 structs.c
     14108 2011-12-12 structs.c.backup
     14551 2011-12-12 structs.c.new
     14108 2011-11-17 structs.c.orig
     13833 2011-11-17 sym.c
     11879 2011-12-12 sym.c.backup
     13833 2011-12-12 sym.c.new
     11879 2011-11-17 sym.c.orig
      3430 2011-11-17 tl.h
      3332 2011-12-12 tl.h.backup
      3430 2011-12-12 tl.h.new
      3332 2011-11-17 tl.h.orig
     13203 2011-11-17 tl_buchi.c
     13080 2011-12-12 tl_buchi.c.backup
     13203 2011-12-12 tl_buchi.c.new
     13080 2011-11-17 tl_buchi.c.orig
      5909 2011-11-17 tl_cache.c
      5831 2011-12-12 tl_cache.c.backup
      5909 2011-12-12 tl_cache.c.new
      5831 2011-11-17 tl_cache.c.orig
      5338 2011-11-17 tl_lex.c
      3244 2011-12-12 tl_lex.c.backup
      5338 2011-12-12 tl_lex.c.new
      3244 2011-11-17 tl_lex.c.orig
      5182 2011-11-17 tl_main.c
      4679 2011-12-12 tl_main.c.backup
      5182 2011-12-12 tl_main.c.new
      4679 2011-11-17 tl_main.c.orig
      8375 2011-11-17 tl_parse.c
      8348 2011-12-12 tl_parse.c.backup
      8375 2011-12-12 tl_parse.c.new
      8348 2011-11-17 tl_parse.c.orig
      6034 2011-11-17 tl_rewrt.c
      5962 2011-12-12 tl_rewrt.c.backup
      6034 2011-12-12 tl_rewrt.c.new
      5962 2011-11-17 tl_rewrt.c.orig
     17111 2011-11-17 tl_trans.c
     16758 2011-12-12 tl_trans.c.backup
     17111 2011-12-12 tl_trans.c.new
     16758 2011-11-17 tl_trans.c.orig
      8639 2011-11-17 vars.c
      8374 2011-12-12 vars.c.backup
      8639 2011-12-12 vars.c.new
      8374 2011-11-17 vars.c.orig
        55 2011-11-17 version.h
        53 2011-12-12 version.h.backup
        55 2011-12-12 version.h.new
        53 2011-11-17 version.h.orig