/sources/patch/saved/spin-624/
     10032 2013-03-18 dstep.c
     10024 2013-03-18 dstep.c.orig
        13 2013-03-18 email
      1160 2013-03-18 files
     23981 2013-03-18 flow.c
     23433 2013-03-18 flow.c.orig
      9595 2013-03-18 guided.c
      7705 2013-03-18 guided.c.orig
     25607 2013-03-18 main.c
     24659 2013-03-18 main.c.orig
     17858 2013-03-18 mesg.c
     16800 2013-03-18 mesg.c.orig
         0 2013-03-18 notes
        54 2013-03-30 origls
     40438 2013-03-18 pangen1.c
     40221 2013-03-18 pangen1.c.orig
    220126 2013-03-18 pangen1.h
    198341 2013-03-18 pangen1.h.orig
     89070 2013-03-18 pangen2.c
     81963 2013-03-18 pangen2.c.orig
     31701 2013-03-18 pangen2.h
     33201 2013-03-18 pangen2.h.orig
     10202 2013-03-18 pangen3.c
      9711 2013-03-18 pangen3.c.orig
     39130 2013-03-18 pangen3.h
     29273 2013-03-18 pangen3.h.orig
      8497 2013-03-18 pangen4.c
      8237 2013-03-18 pangen4.c.orig
     19048 2013-03-18 pangen4.h
     19034 2013-03-18 pangen4.h.orig
     17325 2013-03-18 pangen5.c
     16804 2013-03-18 pangen5.c.orig
     48312 2013-03-18 pangen6.c
     48260 2013-03-18 pangen6.c.orig
     91979 2013-03-18 pangen6.h
     91291 2013-03-18 pangen6.h.orig
     18997 2013-03-18 pangen7.c
     18888 2013-03-18 pangen7.c.orig
     66076 2013-03-18 pangen7.h
      2172 2013-03-18 readme
      9962 2013-03-18 reprosrc.c
      2939 2013-03-18 reprosrc.c.orig
     16711 2013-03-18 run.c
     15109 2013-03-18 run.c.orig
     24336 2013-03-18 sched.c
     23441 2013-03-18 sched.c.orig
     13440 2013-03-18 spin.h
     13096 2013-03-18 spin.h.orig
     26390 2013-03-18 spin.y
     24610 2013-03-18 spin.y.orig
     36179 2013-03-18 spinlex.c
     34525 2013-03-18 spinlex.c.orig
     14266 2013-03-18 sym.c
     13833 2013-03-18 sym.c.orig
     13562 2013-03-18 tl_buchi.c
     13203 2013-03-18 tl_buchi.c.orig
      5588 2013-03-18 tl_lex.c
      5338 2013-03-18 tl_lex.c.orig
      5251 2013-03-18 tl_main.c
      5182 2013-03-18 tl_main.c.orig
      8443 2013-03-18 tl_parse.c
      8375 2013-03-18 tl_parse.c.orig
      6090 2013-03-18 tl_rewrt.c
      6034 2013-03-18 tl_rewrt.c.orig
      8855 2013-03-18 vars.c
      8639 2013-03-18 vars.c.orig
        57 2013-03-18 version.h
        55 2013-03-18 version.h.orig