Rev 9177 | Rev 9847 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 9177 | Rev 9579 | ||
|---|---|---|---|
| Line 70... | Line 70... | ||
| 70 | TYPE |
70 | TYPE |
| Line 71... | Line 71... | ||
| 71 | 71 | ||
| Line 72... | Line 72... | ||
| 72 | OPTIONS* = RECORD |
72 | OPTIONS* = RECORD |
| 73 | 73 | ||
| 74 | version*, stack*, ram*, rom*, tab*: INTEGER; |
74 | version*, stack*, ram*, rom*, tab*: INTEGER; |
| Line 75... | Line 75... | ||
| 75 | pic*, lower*: BOOLEAN; |
75 | pic*, lower*, uses*: BOOLEAN; |
| Line 76... | Line 76... | ||
| 76 | checking*: SET |
76 | checking*: SET |