Make conjecture | Makes a conjecture based on the data that is provided. This has the same effect as pressing the button in the conjecturing engine panel. |
|
|
---|---|
View history... | Opens the history of the conjecturing engine. |
Export history... | Opens a file dialog where you can select a file to export the history of the conjecturing engine. |
Delete history | Clears the history of the conjecturing engine. |