search

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

Error in knowledge browser #39

Closed amaletzk closed 10 years ago

amaletzk commented 10 years ago

If some section "S" in some notebook contains subsections which do not contain "FormalTextInputFormula"-cells (and "S" itself does not contain such cells either), then displaying the knowledge browser leads to an error. This happens most likely because an empty list is transposed somewhere in function "structView" in "GUI.m".

windsteiger commented 10 years ago

Enhanced treatment of "empty content" in (sub)sections and also in environments.