Add regression test for #251.
Reorder PO list columns and print GLOBAL for POs with no name.
Show full predicate by default.
Clean up PO list viewer and retweak columns.
Initial implementation of styled text PO detail view (syntax highlighting)
fixed #243 added check for the constraint when executed. If it fails the interpreter fails execution with a message stating that the condition was false.
Initial implementation of styled text PO detail view (syntax highlighting)
Remove Seive example since it has been abandoned.

Should also be removed from the SVN repository.
Update test result.
Remove literate CML bits (seems like it confuses the parser).
Added reset attempt when Formula fails.
Added reset handling.
Fixing exception messages.
Logging exception messages.
Added debug information.
Merge remote-tracking branch 'origin/newpog' into newpog
updated TC result files for constraint on read comm
Fixed handling of bind type translation in exists expressions.
Merge remote-tracking branches 'origin/alrd', 'origin/newpog' and 'origin/kel/base' into test
Analysing Insiel's example from Paolo.