Age | Commit message (Expand) | Author |
---|---|---|
2013-09-18 | Fixes to theoryof-mode; no longer static in Theory class. | Morgan Deters |
2013-04-23 | Theory "alternates" support | Morgan Deters |
2012-10-06 | * Clean up some options documentation | Morgan Deters |
2012-07-31 | Options merge. This commit: | Morgan Deters |