blob: 40b14b20b5d52adde5a10d36862ef243a4fd80cc (
plain)
1
2
3
4
5
|
Changes in version 1.2
Added the command line option -k, for keeping the state names used in the
JFLAP file. The default behavior is to replace the state names with names of
the form '$q_{id}$', where id is the unique state number. When using this
option state names will not be sanitized and thus may contain invalid TeX.
|
