]> matita.cs.unibo.it Git - helm.git/commit
make use of gzipped type and body
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 10 May 2005 10:58:05 +0000 (10:58 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 10 May 2005 10:58:05 +0000 (10:58 +0000)
commit005aba457de4e6d77f664b17fb0f4846a16e2361
treecff649c2cad5c48eb4c38af355c85d334f156fe3
parent182bb93a77b341e9e2394504bf156c17d81bfad5
make use of gzipped type and body
helm/ocaml/cic/.depend
helm/ocaml/cic/Makefile
helm/ocaml/cic/cicParser.mli
helm/ocaml/cic/cicPushParser.ml
helm/ocaml/cic/test.ml