Quantomatic
project default rewrites
It would be nice if you could specify a default set of rules to loaded whenever a new derivation is started without having to specify them every time
It's a good idea. The only misgiving I have is that I think it would be best stored at the project level (same as what theory you're using,) because it's project dependent. Projects are set up to be immutable, so while it's possible and makes sense to change this (and possible to set this up keeping projects immutable) I would appreciate input on what else we would like stored at the project level, and whether anyone sees any pitfalls.
Thoughts, @akissinger ?
Currently we store: Name, Theory
The "name" part is barely referenced in the code, and doesn't seem to work anyway. The "theory" part is important to keep safe, and is currently only altered by the Alter Theory panel.
The only problem I could foresee with sticking this in the project is if you wish to share a quanto project with someone else. The "current ruleset" is essentially throwaway info, so it shouldn't necessarily be part of the thing you share. Worse, it could create needless conflicts if multiple people are working on a project in source control at the same time.
What we could do is store this list globally, and just check that the stored rules are indeed there before trying to add them (this is a good idea anyway). The way I work, I find I'm not switching projects very often, so this would get the job done for me.
