GUI: prove submit summary

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

GUI: prove submit summary #29

Closed windsteiger closed 10 years ago

windsteiger commented 11 years ago

Implementation by Java does not take current values but uses the defaults, i.e. the summary does not show the actual choice but it shows the default choice!!!!

windsteiger commented 10 years ago

Solved 09-01-2014