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

author	Stefano Zacchiroli <zack@upsilon.cc>
	Wed, 14 Jan 2004 17:57:11 +0000 (17:57 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Wed, 14 Jan 2004 17:57:11 +0000 (17:57 +0000)
commit	05a96edc1a298d5a6d92919e0b68f0377604387f
tree	0db8733b8fc0af65132f1ac7c28a77bf638facd1	tree \| snapshot
parent	aba014724c9ad08f80944ec3021c9fa3826dca4a	commit \| diff

moved here ui_logger from gTopLeve

helm/ocaml/logger/.cvsignore	[new file with mode: 0644]	blob
helm/ocaml/logger/.depend	[new file with mode: 0644]	blob
helm/ocaml/logger/Makefile	[new file with mode: 0644]	blob
helm/ocaml/logger/ui_logger.ml	[new file with mode: 0644]	blob
helm/ocaml/logger/ui_logger.mli	[new file with mode: 0644]	blob

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