]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/.cvsignore
META
Makefile
+Makefile.in
config.cache
config.log
config.status
configure
-gdome_xslt.cma
+gdome2-xslt.cma
gdome_xslt.cmi
gdome_xslt.cmo
gdome_xslt.cmx
-gdome_xslt.cmxa
+gdome2-xslt.cmxa
gdome_xslt.o
gdome_xslt_init.cmi
gdome_xslt_init.cmo
i_gdome_xslt.cmx
i_gdome_xslt.o
ml_gdome_xslt.o
+.deps