From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 2 Jan 2023 23:36:37 +0000 (+0100)
Subject: Remove dandling symbolic links from the repository
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=19a98b3c9e5d9894fb18eae0e95203ec37323e12;p=helm.git

Remove dandling symbolic links from the repository
---

diff --git a/matita/components/binaries/matitaprover/FIXME b/matita/components/binaries/matitaprover/FIXME
new file mode 100644
index 000000000..7690928c9
--- /dev/null
+++ b/matita/components/binaries/matitaprover/FIXME
@@ -0,0 +1,4 @@
+Dropped symbolic links:
+ast.ml -> ../../tptp_grafite/ast.ml
+lexer.mll -> ../../tptp_grafite/lexer.mll
+parser.mly -> ../../tptp_grafite/parser.mly
diff --git a/matita/components/binaries/matitaprover/ast.ml b/matita/components/binaries/matitaprover/ast.ml
index ddba86734..4c28ea5d1 120000
--- a/matita/components/binaries/matitaprover/ast.ml
+++ b/matita/components/binaries/matitaprover/ast.ml
@@ -1 +1 @@
-../../tptp_grafite/ast.ml
\ No newline at end of file
+FIXME
\ No newline at end of file
diff --git a/matita/components/binaries/matitaprover/lexer.mll b/matita/components/binaries/matitaprover/lexer.mll
index f0e5f3056..4c28ea5d1 120000
--- a/matita/components/binaries/matitaprover/lexer.mll
+++ b/matita/components/binaries/matitaprover/lexer.mll
@@ -1 +1 @@
-../../tptp_grafite/lexer.mll
\ No newline at end of file
+FIXME
\ No newline at end of file
diff --git a/matita/components/binaries/matitaprover/parser.mly b/matita/components/binaries/matitaprover/parser.mly
index 934f8b1f8..4c28ea5d1 120000
--- a/matita/components/binaries/matitaprover/parser.mly
+++ b/matita/components/binaries/matitaprover/parser.mly
@@ -1 +1 @@
-../../tptp_grafite/parser.mly
\ No newline at end of file
+FIXME
\ No newline at end of file