Rev 8859 | Rev 9579 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
TYPE
OPTIONS* = RECORD
version*, stack*, ram*, rom*: INTEGER;
version*, stack*, ram*, rom*, tab*: INTEGER;