Documentation

select comorphisms

Drops any seleceted comorphism

A general function that implements the actions of setting, adding or deleting goals or axioms from the selection list

Proves only selected goals from all nodes using selected axioms

Proves all goals in the nodes selected using all axioms and theorems

Sets the use theorems flag of the interface

Sets the save2File value to either true or false

Function to signal the interface that the script has ended

Function to signal the interface that a scrips starts so it should not try to parse the input

The function is called everytime when the input could not be parsed as a command