]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 31540d9) | patch
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
treecb95f3837b0b92f811ca68d083ed11faf86099aetree | snapshot
parent31540d9f3436e7a3bc0fa5b097c7d81af80ec07fcommit | diff
added missing depending on (CSC's) helm-cic_textual_parser
helm/ocaml/METAS/meta.helm-mathql.src diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.