]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7cf0f55) | patch
removed dependency on cic_textual_parser where this dep was used only
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 22 Oct 2004 12:27:46 +0000 (12:27 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 22 Oct 2004 12:27:46 +0000 (12:27 +0000)
commitdcb1a0c85f009addebe0d2b4bd1b350b3ca8ee18
tree9e3f869d3c0145bb00e3329b208266c0946c2bb9tree | snapshot
parent7cf0f556e3ef465ae4adf3691fcd3a77b2ae5a8ccommit | diff
removed dependency on cic_textual_parser where this dep was used only
for term_of_uri, now in CicUtil
helm/ocaml/METAS/meta.helm-mathql.src diff | blob | history
helm/ocaml/METAS/meta.helm-mathql_interpreter.src diff | blob | history
helm/ocaml/METAS/meta.helm-tactics.src diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.