Some online help pages modifed. Change in system editor allowing the source and destination node of a transitions to be modified. Bug fix in server and verifyta . Solved problems with MS-DOS style newlines in system descriptions. Three new help pages.
Minor bug fixes.
Patch level 2. Problems when deleting last nail in self-looping transition solved. Added support for automata without transitions. Added support for initialization of integer variables. Binary of stand-alone verifier verifyta added to the distribution.