From 8df31f2c696c408e888fb8b94478799b04771f15 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 2 Mar 2009 23:33:21 +0000 Subject: [PATCH] Old algorithm moved to old to leave place to the new one. --- .../matita/contribs/formal_topology/bin/{ => old}/Makefile | 0 .../contribs/formal_topology/bin/{ => old}/formal_topology.ma | 0 .../contribs/formal_topology/bin/{ => old}/theory_explorer.ml | 0 .../bin/{ => old}/theory_explorer_do_not_trust_auto.ml | 0 4 files changed, 0 insertions(+), 0 deletions(-) rename helm/software/matita/contribs/formal_topology/bin/{ => old}/Makefile (100%) rename helm/software/matita/contribs/formal_topology/bin/{ => old}/formal_topology.ma (100%) rename helm/software/matita/contribs/formal_topology/bin/{ => old}/theory_explorer.ml (100%) rename helm/software/matita/contribs/formal_topology/bin/{ => old}/theory_explorer_do_not_trust_auto.ml (100%) diff --git a/helm/software/matita/contribs/formal_topology/bin/Makefile b/helm/software/matita/contribs/formal_topology/bin/old/Makefile similarity index 100% rename from helm/software/matita/contribs/formal_topology/bin/Makefile rename to helm/software/matita/contribs/formal_topology/bin/old/Makefile diff --git a/helm/software/matita/contribs/formal_topology/bin/formal_topology.ma b/helm/software/matita/contribs/formal_topology/bin/old/formal_topology.ma similarity index 100% rename from helm/software/matita/contribs/formal_topology/bin/formal_topology.ma rename to helm/software/matita/contribs/formal_topology/bin/old/formal_topology.ma diff --git a/helm/software/matita/contribs/formal_topology/bin/theory_explorer.ml b/helm/software/matita/contribs/formal_topology/bin/old/theory_explorer.ml similarity index 100% rename from helm/software/matita/contribs/formal_topology/bin/theory_explorer.ml rename to helm/software/matita/contribs/formal_topology/bin/old/theory_explorer.ml diff --git a/helm/software/matita/contribs/formal_topology/bin/theory_explorer_do_not_trust_auto.ml b/helm/software/matita/contribs/formal_topology/bin/old/theory_explorer_do_not_trust_auto.ml similarity index 100% rename from helm/software/matita/contribs/formal_topology/bin/theory_explorer_do_not_trust_auto.ml rename to helm/software/matita/contribs/formal_topology/bin/old/theory_explorer_do_not_trust_auto.ml -- 2.39.2