Update GUI verifier description with new buttons

UPPAALModelChecker / docs.uppaal.org

This repo contains the official UPPAAL documentation published on https://docs.uppaal.org

https://docs.uppaal.org

1 stars 13 forks source link

Update GUI verifier description with new buttons #54

Open magoorden opened 5 months ago

magoorden commented 5 months ago

The screenshot on Verifier and the description on Specifying requirements still mention the Uppaal v4 buttons. In Uppaal v5, the button insert is replaced by Insert above and Insert below, and a new button Clear results is added.