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