]> matita.cs.unibo.it Git - helm.git/commit
added a minimal parser to extract informations relevant to dependencies calculation
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 20 Sep 2005 14:15:09 +0000 (14:15 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 20 Sep 2005 14:15:09 +0000 (14:15 +0000)
commit3e5a3049534e6b5a091598a079b61c91134650f1
tree1b305e1cff34c36a8b9c5ff3f7eed270b419db54
parent2e1672d9ba529522ab0c6a058c212a6a75aa22a4
added a minimal parser to extract informations relevant to dependencies calculation
helm/ocaml/cic_notation/.depend
helm/ocaml/cic_notation/Makefile
helm/ocaml/cic_notation/grafiteAst.ml
helm/ocaml/cic_notation/grafiteAstPp.ml
helm/ocaml/cic_notation/grafiteAstPp.mli
helm/ocaml/cic_notation/grafiteParser.ml
helm/ocaml/cic_notation/grafiteParser.mli
helm/ocaml/cic_notation/test_dep.ml [new file with mode: 0644]