Changes made to JFLAP - Feb. 3, 2003

JFLAP 4.0b2, 3 February 2003 FIXES * The "cancel" button actually does what it is supposed to in the "do you want to save before closing" dialog. * Issue with not detecting grammar changes for saving fixed. * Closing all windows will close the application. * An issue that caused the restricted grammar brute force parser to reject strings that should have been accepted was fixed. FEATURES * Pressing return/enter in transition editing will stop editing the transition. * Pressing shift-return/enter in transition editing will stop editing the transition, and begin the process of editing a new one. * Pressing escape in the transition editing will cancel the edit. * An about box is available, which will hence display the version number of the release.