Conjecture Menu

Make conjectureMakes 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 historyClears the history of the conjecturing engine.