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