- Highlight the available productions at the right times - Move the stack top after animations
- Highlight the available productions at the right times
- Move the stack top after animations


svn/trunk@1435

nltk/nltk,nltk/nltk,nltk/nltk