X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatitaprover%2FFIXME;fp=matita%2Fcomponents%2Fbinaries%2Fmatitaprover%2FFIXME;h=7690928c95acb1253002db9780d7e4113699d8fc;hb=19a98b3c9e5d9894fb18eae0e95203ec37323e12;hp=0000000000000000000000000000000000000000;hpb=02c05964e51f79fc37abc769c229a191bf525969;p=helm.git

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