General Presentation (tcl/tk) - Revision history

Michael Leuschel: /* The ProB Main Window */

2016-02-26T13:31:15Z

The ProB Main Window

← Older revision		Revision as of 13:31, 26 February 2016
Line 7:		Line 7:
	Under the menu bar, the main window contains four panes:		Under the menu bar, the main window contains four panes:

	* In the top pane, the specification of the B machine is displayed with the syntax highlighted and can also be edited by typing directly in this pane;		* In the top pane, the specification of the B machine is displayed with the syntax highlighted and can also be edited by typing directly in this pane; you can find out more about this editor and how to use external editors in our [[Editors_for_ProB\|wiki page on editors]].
	* At the bottom, the animation window is composed of three panes which display at the current point during the animation:		* At the bottom, the animation window is composed of three panes which display at the current point during the animation:
	*# The current state of the B machine (State Properties), listing the current values of the machine variables;		*# The current state of the B machine (State Properties), listing the current values of the machine variables;

Michael Leuschel at 15:57, 27 February 2012

2012-02-27T15:57:10Z

← Older revision		Revision as of 15:57, 27 February 2012
Line 1:		Line 1:
	~~{{Template:revision}}~~

	== The ProB Main Window ==		== The ProB Main Window ==

Daniel Plagge: /* The ProB Main Window */

2012-01-06T07:25:21Z

The ProB Main Window

← Older revision		Revision as of 07:25, 6 January 2012
Line 10:		Line 10:
	* At the bottom, the animation window is composed of three panes which display at the current point during the animation:		* At the bottom, the animation window is composed of three panes which display at the current point during the animation:
	*# The current state of the B machine (State Properties), listing the current values of the machine variables;		*# The current state of the B machine (State Properties), listing the current values of the machine variables;
	*# The enabled operations (Enabled Operations), listing the operations whose preconditions and guards are true in this state;		*# The enabled operations (Enabled Operations), listing the operations whose preconditions and guards are true in this state (see [[Colours of enabled operations\|here]] for what the different colours mean);
	*# The history of operations leading to this state (History).		*# The history of operations leading to this state (History).

Joy Clark: " " for commands

2011-04-18T11:20:08Z

" " for commands

← Older revision		Revision as of 11:20, 18 April 2011
Line 3:		Line 3:
	== The ProB Main Window ==		== The ProB Main Window ==

	The menu bar contains the various commands to access the features of ProB. It includes the traditional File menu with a ~~submenu~~ Recent Files to quickly access the files previously opened in ProB. Notice the commands Open\Save, Reopen\Save and Reopen; the latter reopens the currently opened file and ~~reinitialises~~ the state of the animation and the model checking processes completely. The About menu provides help on the tool and includes a command to check if an update is available on the ProB website. By default, ProB starts with a limited set of commands in the Beginner mode. The Normal mode gives access to more features and can be set in the menu Preferences\|User Mode.		The menu bar contains the various commands to access the features of ProB. It includes the traditional "File" menu with a sub-menu "Recent Files" to quickly access the files previously opened in ProB. Notice the commands "Open\Save", "Reopen\Save" and "Reopen"; the latter reopens the currently opened file and reinitializes the state of the animation and the model checking processes completely. The "About" menu provides help on the tool and includes a command to check if an update is available on the ProB website. By default, ProB starts with a limited set of commands in the Beginner mode. The Normal mode gives access to more features and can be set in the menu "Preferences\|User Mode".

	Under the menu bar, the main window contains four panes:		Under the menu bar, the main window contains four panes:
Line 14:		Line 14:

	== Preferences ==		== Preferences ==
	The Preferences menu allows the various features of ProB to be configured. When ProB is started for the first time, it creates a file prob_preferences.pl that stores those preferences.		The "Preferences" menu allows the various features of ProB to be configured. When ProB is started for the first time, it creates a file prob_preferences.pl that stores those preferences.
	* The ~~submenu~~ Font changes the font size of the B specification displayed in the main window.		* The sub-menu "Font" changes the font size of the B specification displayed in the main window.

	The next three commands correspond to groups of preferences displayed in separate pop-up windows.		The next three commands correspond to groups of preferences displayed in separate pop-up windows.

	* The command Animation Preferences ... configures important aspects of ProB relative to the animation and model checking of the B specifications. These preferences influence directly the way ProB interprets the B specification and are described in Animation and Visualisation, amongst others.		* The command "Animation Preferences" ... configures important aspects of ProB relative to the animation and model checking of the B specifications. These preferences influence directly the way ProB interprets the B specification and are described in "Animation and Visualisation", amongst others.

	* The command Graphical Viewer Preferences ... allows the user to set the options of the ~~visualisation~~ tool used by ProB and the shapes and colors used to display the nodes of the state space.		* The command "Graphical Viewer Preferences" ... allows the user to set the options of the visualization tool used by ProB and the shapes and colors used to display the nodes of the state space.

	* The command Syntax Highlight Preferences ... allows the user to activate the syntax highlight of the B specification in the main window and also to select the various colors corresponding to the syntactic elements of the B notation.		* The command "Syntax Highlight Preferences" ... allows the user to activate the syntax highlight of the B specification in the main window and also to select the various colors corresponding to the syntactic elements of the B notation.

	'''IMPORTANT: Changes in the animation preferences take effect only after reloading the machine.'''		'''IMPORTANT: Changes in the animation preferences take effect only after reloading the machine.'''

Joy Clark: /* Preferences */ changed sentence structure

2011-04-14T08:44:14Z

Preferences: changed sentence structure

← Older revision		Revision as of 08:44, 14 April 2011
Line 14:		Line 14:

	== Preferences ==		== Preferences ==
	The Preferences menu ~~enables to configure~~ the various features of ProB. When ProB is started for the first time, it creates a file prob_preferences.pl that stores those preferences.		The Preferences menu allows the various features of ProB to be configured. When ProB is started for the first time, it creates a file prob_preferences.pl that stores those preferences.
	* The submenu Font changes the font size of the B specification displayed in the main window.		* The submenu Font changes the font size of the B specification displayed in the main window.

	The next three commands correspond to groups of preferences displayed in separate pop-up windows.		The next three commands correspond to groups of preferences displayed in separate pop-up windows.

	* The command Animation Preferences ... configures important aspects of ProB, relative to the animation and model checking of the B specifications. These preferences influence directly the way ProB interprets the B specification and are described in Animation and Visualisation, amongst others.		* The command Animation Preferences ... configures important aspects of ProB relative to the animation and model checking of the B specifications. These preferences influence directly the way ProB interprets the B specification and are described in Animation and Visualisation, amongst others.

	* The command Graphical Viewer Preferences ... ~~enables~~ to set the options of the visualisation tool used by ProB, and the shapes and colors used to display the nodes of the state space.		* The command Graphical Viewer Preferences ... allows the user to set the options of the visualisation tool used by ProB and the shapes and colors used to display the nodes of the state space.

	* The command Syntax Highlight Preferences ... ~~enables~~ to activate the syntax highlight of the B specification in the main window, and also to select the various colors corresponding to the syntactic elements of the B notation.		* The command Syntax Highlight Preferences ... allows the user to activate the syntax highlight of the B specification in the main window and also to select the various colors corresponding to the syntactic elements of the B notation.

	'''IMPORTANT: Changes in the animation preferences ~~takes~~ only ~~effect~~ after reloading the machine.'''		'''IMPORTANT: Changes in the animation preferences take effect only after reloading the machine.'''

Joy Clark: /* The ProB Main Window */ grammatical edits, punctuation edits

2011-04-14T08:37:43Z

The ProB Main Window: grammatical edits, punctuation edits

← Older revision		Revision as of 08:37, 14 April 2011
Line 3:		Line 3:
	== The ProB Main Window ==		== The ProB Main Window ==

	The menu bar contains the various commands to access the features of ProB. It includes the traditional File menu, with a submenu Recent Files to quickly access the files previously opened in ProB. Notice the ~~two couples of~~ commands Open\Save ~~and~~ Reopen\Save and Reopen, the latter ~~reopening~~ the currently opened file and ~~reinitialising completely~~ the state of the animation and the model checking processes. The About menu provides help on the tool~~, including~~ a command to check if an update is available on the ProB website. By default, ProB starts with a limited set of commands in the Beginner mode. The Normal mode gives access to more features and can be set in the menu Preferences\|User Mode.		The menu bar contains the various commands to access the features of ProB. It includes the traditional File menu with a submenu Recent Files to quickly access the files previously opened in ProB. Notice the commands Open\Save, Reopen\Save and Reopen; the latter reopens the currently opened file and reinitialises the state of the animation and the model checking processes completely. The About menu provides help on the tool and includes a command to check if an update is available on the ProB website. By default, ProB starts with a limited set of commands in the Beginner mode. The Normal mode gives access to more features and can be set in the menu Preferences\|User Mode.

	Under the menu bar, the main window contains four panes:		Under the menu bar, the main window contains four panes:

	* In the top pane, the specification of the B machine is displayed with syntax ~~highlight,~~ and can also be edited by typing directly in this pane;		* In the top pane, the specification of the B machine is displayed with the syntax highlighted and can also be edited by typing directly in this pane;
	* At the bottom, the animation window is composed of three panes which display, at the current point during the animation:		* At the bottom, the animation window is composed of three panes which display at the current point during the animation:
	*# The current state of the B machine (State Properties), listing the current values of the machine variables;		*# The current state of the B machine (State Properties), listing the current values of the machine variables;
	*# The enabled operations (Enabled Operations), listing the operations whose preconditions and guards are true in this state;		*# The enabled operations (Enabled Operations), listing the operations whose preconditions and guards are true in this state;

Jens Bendisposto: moved User Manual:General Presentation (tcl/tk) to General Presentation (tcl/tk) over redirect

2010-01-18T12:34:41Z

moved User Manual:General Presentation (tcl/tk) to General Presentation (tcl/tk) over redirect

← Older revision	Revision as of 12:34, 18 January 2010
(No difference)

Jens Bendisposto: moved General Presentation (tcl/tk) to User Manual:General Presentation (tcl/tk)

2010-01-18T12:08:58Z

moved General Presentation (tcl/tk) to User Manual:General Presentation (tcl/tk)

← Older revision	Revision as of 12:08, 18 January 2010
(No difference)

Jens Bendisposto: /* The ProB Main Window */

2009-11-18T15:54:38Z

The ProB Main Window

← Older revision		Revision as of 15:54, 18 November 2009
Line 1:		Line 1:
			{{Template:revision}}

	== The ProB Main Window ==		== The ProB Main Window ==

Jens Bendisposto: /* Preferences */

2009-11-18T15:04:13Z

Preferences

← Older revision		Revision as of 15:04, 18 November 2009
Line 23:		Line 23:
	* The command Syntax Highlight Preferences ... enables to activate the syntax highlight of the B specification in the main window, and also to select the various colors corresponding to the syntactic elements of the B notation.		* The command Syntax Highlight Preferences ... enables to activate the syntax highlight of the B specification in the main window, and also to select the various colors corresponding to the syntactic elements of the B notation.

	'''IMPORTANT: ~~Changing~~ in the animation preferences takes only effect after reloading the machine.'''		'''IMPORTANT: Changes in the animation preferences takes only effect after reloading the machine.'''