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: fe1e7e1) | patch

author	Stefano Zacchiroli <zack@upsilon.cc>
	Wed, 11 Feb 2004 12:04:16 +0000 (12:04 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Wed, 11 Feb 2004 12:04:16 +0000 (12:04 +0000)
commit	98295941bee765a0cb4070eb3f2df553228c11c8
tree	f5c8865b2db30e8518f002f4baf1aa0a6629d2a8	tree \| snapshot
parent	fe1e7e151af9690f312259a4c1c969a1388bee5f	commit \| diff

new logger

helm/gTopLevel/helmGtkLogger.ml	[new file with mode: 0644]	blob
helm/gTopLevel/helmGtkLogger.mli	[new file with mode: 0644]	blob
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		diff \| blob \| history
helm/ocaml/cic_proof_checking/cicLogger.mli		diff \| blob \| history

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