Release Notes: New features include symmetry reduction, user
defined functions, priorities on processes and
channels, new abstraction techniques, a fully
searchable help system, an implementation of the
generalized sweep line method, record types,
quantifiers in expressions, undo and redo support
in the editor, syntax highlighting, custom
location and edge colors, documentation comments
on locations and edges, better trace generation,
among other things.