cvs2hg 42e84d8dd2 fixup commit for tag 'distr3' vor 35 Jahren
..
.distr 81b1d21c35 Initial revision vor 37 Jahren
Makefile 49fc462ee5 *** empty log message *** vor 37 Jahren
READ_ME fee336890b Placed a few dot on e few i's. vor 39 Jahren
ok 5662050ad3 Initial revision vor 39 Jahren
select.c 4f0cb4abe1 Added Rcs Id vor 37 Jahren
test.h 4f0cb4abe1 Added Rcs Id vor 37 Jahren
tests c094aebd80 Select did not handle these HOL's vor 37 Jahren