RECODER 0.71 Released

A lot of new features have been added and a lot of bugs have been fixed.
The most prominent changes are:

• resume abbility added to analyze incomplete or template code,
• compile-time control flow analysis,
• a new Swing-based demo application,
• added a property to activate/deactivate assert statement handling,
• bug fixes for some printing, parsing and transformation issues.