dontsavehistorycoms is a list of comands not saved by edit history. initially SAVE P ? PP PP* and E. compacthistorycoms is a lit of commands to be compacted and is initially NIL. numbers ae automatically on compacthistorycoms. -------