ProB etool generation

The procedure to follow is simple and requires that:

First step is to launch ProB. Then click on Help menu and select “Install Atelier B 4 plugin”:

A new dialog shows up, asking for selecting the AtelierB parameter file. Normally, the dialog has open a file navigator pointing on the Atelier B 4.0 installation directory. Just select the AtelierB file that is in this directory and click on OK:

ProB has generated a file named probtclk.ettol in your Atelier B 4.0 directory, in the extensions folder. You don’t need to modify it. If if starts Atelier B 4.0, open a project and select a model, you should get the new menu item “Animate with ProB (Tcl/Tk)”: