ProB2-UI

The ProB2 JavaFX Main Window

By default the main window is split into three vertical panes (see below).

ProB2JavaFX UI Overview.png

The ProB2 JavaFX Main Menu Bar

The menu bar contains the various commands to access the features of ProB. It includes the menus

  • File,
  • Edit,
  • Formula,
  • Consoles,
  • Perspectives,
  • View,
  • Window and
  • Help

The Submenus

File.png
Edit.png
Formula.png
Consoles.png
Perspectives.png
View.png
Help.png