matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/cic_cache/Makefile

]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/cic_cache/Makefile

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 43f7741) | patch

author	Stefano Zacchiroli <zack@upsilon.cc>
	Mon, 18 Oct 2004 13:57:52 +0000 (13:57 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Mon, 18 Oct 2004 13:57:52 +0000 (13:57 +0000)
commit	101dd04fb3e787a6d717fe16ddc28a808038e148
tree	ee0c2cc54364256b63a16aecc43d0309cf5ae092	tree \| snapshot
parent	43f7741d0d6e714f0e1fd183d2fc43af267a445c	commit \| diff

removed cicCache (cicEnvironment should be used instead)

helm/ocaml/cic_cache/.cvsignore	[deleted file]	blob \| history
helm/ocaml/cic_cache/.depend	[deleted file]	blob \| history
helm/ocaml/cic_cache/Makefile	[deleted file]	blob \| history
helm/ocaml/cic_cache/cicCache.ml	[deleted file]	blob \| history
helm/ocaml/cic_cache/cicCache.mli	[deleted file]	blob \| history

Unnamed repository; edit this file 'description' to name the repository.