windsteiger / Theorema

Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
GNU General Public License v3.0
71 stars 14 forks source link

Formulas persinstance in Session/Inspect #44

Open magmagithub opened 10 years ago

magmagithub commented 10 years ago

In Session/Inspect, formulas from a notebook do not go away when I close the notebook. If a user closes a notebook, it probably means that he/she is no longer interested in the formulas, so they should be erased from any internal database.