Bitfield packing improved for recorded positions during checks involving
supercompiled machines. (Can reduce memory consumption, but gains depend
upon the structure of the processes involved.)
Reduced CPU consumption (by GUI) and context switches by batching
transfers in the multiplexor. Removed unused widgets from the status
window.
Provisional high-level form of interrupt operator made available. Does
not currently support supercompilation.
Fixed error in handling the acceptances/refusals of non-tabular leaf
machines during supercompilation.
Fixed bug (introduced in 2.24) where divergence information for
bisimimulated leaf processes could be set incorrectly.
Adjusted handling of hash values to eliminate compiler crashes when
processing certain recursive definitions.
Strengthened check for multiple definitions during parsing, and improved
the corresponding error report.