08:0408:04, 6 September 2017diffhist+1,263 N
ProB2-UI
Created page with "== The ProB2 JavaFX Main Window == By default the main window is split into three vertical panes (see below). * In the left pane, the Operations view , showing the operatio..."