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