]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: b7276ca)
mathql listed twice
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Jan 2004 10:39:17 +0000 (10:39 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Jan 2004 10:39:17 +0000 (10:39 +0000)
helm/ocaml/Makefile.in patch | blob | history

diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index caa5169d6b567538e2d8dd710b09499dd05c1686..73c3a91c018c4283844b409fb2351e342f558ef7 100644 (file)
--- a/helm/ocaml/Makefile.in
+++ b/helm/ocaml/Makefile.in
@@ -13,7 +13,7 @@ MODULES = \
        tex_cic_textual_parser \
        cic_unification \
        mathql \
-       mathql mathql_generator \
+       mathql_generator \
        mathql_interpreter \
        cic_omdoc \
        tactics \
Unnamed repository; edit this file 'description' to name the repository.