"OK next" button in connection with computing/solving

windsteiger / Theorema

Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica

GNU General Public License v3.0

70 stars 14 forks source link

"OK next" button in connection with computing/solving #33

Closed amaletzk closed 10 years ago

amaletzk commented 11 years ago

If after selecting the built-ins for computing/solving one clicks at the "OK next" button, an error occurs (because there is no more tab). Maybe just disable the button, because it simply is not needed.