Issues Show Unassigned Show All Search
Login Remember me? Register Lost your login?
Help Roundup docs
Created on 2010-12-17.15:27:58 by malte, last changed by malte.
Many things have changed in the code since this one was opened -- closing it.
There's currently quite a bit of code duplication between axioms and operators. These classes should be unified in some way.