From: denes <??>
Date: Fri, 24 Jul 2009 13:48:48 +0000 (+0000)
Subject: Added symbolic links to hTopoSort
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0b0c468aeb828f074a1b6a0195fa05216f29ee37;p=helm.git

Added symbolic links to hTopoSort
---

diff --git a/helm/software/components/binaries/matitaprover/hTopoSort.ml b/helm/software/components/binaries/matitaprover/hTopoSort.ml
new file mode 120000
index 000000000..32bae9956
--- /dev/null
+++ b/helm/software/components/binaries/matitaprover/hTopoSort.ml
@@ -0,0 +1 @@
+../../extlib/hTopoSort.ml
\ No newline at end of file
diff --git a/helm/software/components/binaries/matitaprover/hTopoSort.mli b/helm/software/components/binaries/matitaprover/hTopoSort.mli
new file mode 120000
index 000000000..d3f754d52
--- /dev/null
+++ b/helm/software/components/binaries/matitaprover/hTopoSort.mli
@@ -0,0 +1 @@
+../../extlib/hTopoSort.mli
\ No newline at end of file