Updates model browser
Exports formal spec in HTML in relationnal exporter