Public Git Hosting - chr.git/commit

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 83e480d) | patch

commit	23372af9d7a8bf859767197b0535fd75371421f7
author	Jan Wielemaker <wielemak@science.uva.nl>
	Sat, 19 Feb 2005 10:33:08 +0000 (19 10:33 +0000)
committer	Jan Wielemaker <wielemak@science.uva.nl>
	Sat, 19 Feb 2005 10:33:08 +0000 (19 10:33 +0000)
tree	47c22d262e62ac8cae81f9af28c655d554a069ca	tree \| snapshot (tar.gz zip)
parent	83e480d9af6fe38d8f55ae9e0d9595f352605a58	commit \| diff

* Cleanup and integration

Changelog		diff \| blob \| blame \| history
Makefile.in		diff \| blob \| blame \| history
Makefile.mak		diff \| blob \| blame \| history
chr_translate.chr		diff \| blob \| blame \| history
chr_translate_bootstrap2.chr		diff \| blob \| blame \| history
chr_translate_bootstrap2.pl		diff \| blob \| blame \| history
find.pl		diff \| blob \| blame \| history
guard_entailment.pl		diff \| blob \| blame \| history
hprolog.pl		diff \| blob \| blame \| history
listmap.pl		diff \| blob \| blame \| history

copy of chr