git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk...

diff --git a/regressions/2007-07-21-regress.log_bigarray-test b/old-regressions-logs/2007-07-21-regress.log_bigarray-test
similarity index 100%
rename from regressions/2007-07-21-regress.log_bigarray-test
rename to old-regressions-logs/2007-07-21-regress.log_bigarray-test

diff --git a/regressions/2007-07-22-regress.log b/old-regressions-logs/2007-07-22-regress.log
similarity index 100%
rename from regressions/2007-07-22-regress.log
rename to old-regressions-logs/2007-07-22-regress.log

diff --git a/regressions/2008-01-14-regress.log b/old-regressions-logs/2008-01-14-regress.log
similarity index 100%
rename from regressions/2008-01-14-regress.log
rename to old-regressions-logs/2008-01-14-regress.log

diff --git a/regressions/2008-01-14-regress.log-big-test b/old-regressions-logs/2008-01-14-regress.log-big-test
similarity index 100%
rename from regressions/2008-01-14-regress.log-big-test
rename to old-regressions-logs/2008-01-14-regress.log-big-test

diff --git a/regressions/2008-01-14-regress.log-bigarray-test b/old-regressions-logs/2008-01-14-regress.log-bigarray-test
similarity index 100%
rename from regressions/2008-01-14-regress.log-bigarray-test
rename to old-regressions-logs/2008-01-14-regress.log-bigarray-test

diff --git a/regressions/2008-01-15-regress.log b/old-regressions-logs/2008-01-15-regress.log
similarity index 100%
rename from regressions/2008-01-15-regress.log
rename to old-regressions-logs/2008-01-15-regress.log

diff --git a/regressions/2008-01-15-regress.log-bigarray-test b/old-regressions-logs/2008-01-15-regress.log-bigarray-test
similarity index 100%
rename from regressions/2008-01-15-regress.log-bigarray-test
rename to old-regressions-logs/2008-01-15-regress.log-bigarray-test

diff --git a/regressions/README b/old-regressions-logs/README
similarity index 100%
rename from regressions/README
rename to old-regressions-logs/README