patch ddc-head: Shift proof dir

[Ben Lippmeier]

Mon Jun 27 05:18:40 EDT 2011  Ben Lippmeier <b...@ouroborus.net>
  * Shift proof dir

     ./proof -> ./proof_old
    A ./proof_old/Simple/Base/
     ./proof_old/Simple/BaseEnv.v -> ./proof_old/Simple/Base/List.v
     ./proof_old/Simple/BaseLibTactics.v -> ./proof_old/Simple/Base/LibTactics.v
     ./proof_old/Simple/BaseNat.v -> ./proof_old/Simple/Base/Nat.v
     ./proof_old/Simple/BaseTactics.v -> ./proof_old/Simple/Base/Tactics.v
    M ./Makefile +1
    M ./proof_old/Simple/Base.v -4 +3
    M ./proof_old/Simple/Base/LibTactics.v +3
    M ./proof_old/Simple/Base/List.v -5 +5
    M ./proof_old/Simple/Base/Nat.v -2 +1
    M ./proof_old/Simple/Base/Tactics.v -2 +1
    M ./proof_old/Simple/Exp.v +1
    R ./proof_old/Simple/Makefile

-- 
Disciple-Cafe mailing list
http://groups.google.com/group/disciple-cafe