Drop down for possible operations

[ulriknyman]

Have a drop down next to the query with all the possible operations.

The name to the left is the text string that is send to the verification engine.
The thing to the right is the symbol

refinement: ≤ ref
quotient: \ quo
specification: Spec
implementation: Imp
local-consistency: l-Con (Check which consistency)
global-consistency: g-Con
bisim-min: bsim
get-new-component: get

[Nielswps]