Reverting previous change
authorfca <fca@f7af4fe6-9843-0410-8265-dc069ae4e863>
Sat, 31 Oct 2009 12:57:52 +0000 (12:57 +0000)
committerfca <fca@f7af4fe6-9843-0410-8265-dc069ae4e863>
Sat, 31 Oct 2009 12:57:52 +0000 (12:57 +0000)
test/proof/README [moved from prod/proof/README with 100% similarity]
test/proof/prepareAlienCollection.sh [moved from prod/proof/prepareAlienCollection.sh with 100% similarity]
test/proof/rec.C [moved from prod/proof/rec.C with 100% similarity]
test/proof/rec.sh [moved from prod/proof/rec.sh with 100% similarity]
test/proof/run.C [moved from prod/proof/run.C with 100% similarity]

similarity index 100%
rename from prod/proof/README
rename to test/proof/README
similarity index 100%
rename from prod/proof/rec.C
rename to test/proof/rec.C
similarity index 100%
rename from prod/proof/rec.sh
rename to test/proof/rec.sh
similarity index 100%
rename from prod/proof/run.C
rename to test/proof/run.C