When running a command with a model or a counter example, if the correct
option is selected, a Viz panel is generated.
Unfortunately, it does not show up so the user needs to select it to show
the result.
Original issue reported on code.google.com by daniel.l...@gmail.com on 5 Dec 2007 at 3:52
Original issue reported on code.google.com by
daniel.l...@gmail.com
on 5 Dec 2007 at 3:52