Quantomatic/quantomatic — Issue #13: Save rulesets for all theories at exit
Author: randomguy3
Created: 2012-02-24 16:25:55+00:00
State: open

We should store the ruleset state for all theories (that have been modified) when we exit.

Actually, we should probably just do it when we switch theories.