]> matita.cs.unibo.it Git - helm.git/commit
added missing depending on (CSC's) helm-cic_textual_parser
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 14 Jan 2004 18:07:41 +0000 (18:07 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 14 Jan 2004 18:07:41 +0000 (18:07 +0000)
commit915501060a420a393173e155aab3544e60005889
treecb95f3837b0b92f811ca68d083ed11faf86099ae
parent31540d9f3436e7a3bc0fa5b097c7d81af80ec07f
added missing depending on (CSC's) helm-cic_textual_parser
helm/ocaml/METAS/meta.helm-mathql.src