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

Restore-mode (Demo-mode) for computations #41

Closed windsteiger closed 10 years ago

windsteiger commented 10 years ago

We could introduce a "restore-mode" (demo-mode) for computation, in which every computation restores all settings, under which it was previously evaluated, before it is re-evaluated. Could be nice for demos, but should not be standard because it slows down computation.

windsteiger commented 10 years ago

See commit July 23, 2014