Hello, Thank you for your response, I understand that these changes have relatively low priority :) But there is one more missing (??) thing I have found. I just tried to use include and exclude procedures for sets (enums). I know that it can be replaced almost equivalently with assignment S:=S+[new element], but maybe these procedures should be implemented as above within your system unit.
Adam Naumowicz
-------------------------------------- email: adamn@math.uwb.edu.pl WWW : http://math.uwb.edu.pl/~adamn/ --------------------------------------