Tom Swain committed [3dff61]

Added no-white-space constraint to interface na...

REALSBS released /macosx.cocoa.x86_64.zip

Tom Swain committed [1aca93]

HTML output fix.

Tom Swain committed [93661b]

Corrected inability to save after deleting unus...

Tom Swain committed [274263]

Fixed problem with representation of predicate ...

Tom Swain committed [ae31b2]

Updates for generation of release 1.0.3.

Christoph Schulze committed [7bbab4]

Fix for state box bug