Rev 81 | Rev 154 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 81 | Rev 108 | ||
---|---|---|---|
Line 117... | Line 117... | ||
117 | static siT count_cpv[rcL][rpL]; |
117 | static siT count_cpv[rcL][rpL]; |
118 | 118 | ||
119 | /* the current board */ |
119 | /* the current board */ |
120 | static rbT EPDboard; |
120 | static rbT EPDboard; |
121 | 121 | ||
122 | /* the current environment stack entry |
122 | /* the current environment stack entry */ |
123 | static eseT ese; |
123 | static eseT ese; |
124 | 124 | ||
125 | /* the current tree stack entry */ |
125 | /* the current tree stack entry */ |
126 | static tseT tse; |
126 | static tseT tse; |
127 | 127 |