matita.cs.unibo.it Git - helm.git/commit

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

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 55f687f) | patch

author	Stefano Zacchiroli <zack@upsilon.cc>
	Tue, 16 Dec 2003 15:58:38 +0000 (15:58 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Tue, 16 Dec 2003 15:58:38 +0000 (15:58 +0000)
commit	d70688ca1e1bcefc463d3397c6da77b40d055c85
tree	e074047cee119cda108f62ec73f0cd9ca8980f97	tree \| snapshot
parent	55f687f3e960c10d77c88993b142d712ebd46836	commit \| diff

renamed module "logger" to "cicLogger" to avoid confusion with user
interface logger

helm/ocaml/cic_proof_checking/.depend		diff \| blob \| history
helm/ocaml/cic_proof_checking/Makefile		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicEnvironment.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicLogger.ml	[new file with mode: 0644]	blob
helm/ocaml/cic_proof_checking/cicLogger.mli	[new file with mode: 0644]	blob
helm/ocaml/cic_proof_checking/cicTypeChecker.ml		diff \| blob \| history
helm/ocaml/cic_proof_checking/logger.ml	[deleted file]	blob \| history
helm/ocaml/cic_proof_checking/logger.mli	[deleted file]	blob \| history

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