Here’s what’s new in proof4sap v1.2:

• It’s blue
• Better user interface
• Better internal logic