Add SMT 1.2.1 for Rodin 3.x
Added SMT 1.2.0
Not refreshing current proof node when model changes
NPE in Static Checker, FormulaFreeIdentsModule
Fixed by initializing type expression cache for given sets with the parsed free identifier,...
Can't display information about VAR and NAT PO
Now handling non labeled items: the hyperlink is now put directly on the expression...
AssertionError building WD of 'min' with math extensions