Changes between Initial Version and Version 1 of Ticket #1270, comment 7
- Timestamp:
- 11/16/10 18:59:16 (13 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #1270, comment 7
initial v1 1 I think it might be more appropriate to have formatters in problem plugins as the semantics of symbols are actually problem specific. 1 I think it might be more appropriate to have formatters in problem plugins as the semantics of symbols are actually problem specific. In the encoding only terminal and non-terminal symbols can be distinguished.