Age | Commit message (Collapse) | Author | |
---|---|---|---|
2014-07-01 | Update copyrights. | Morgan Deters | |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters | |
2013-04-01 | update copyrights | Morgan Deters | |
2012-11-09 | Bug-fix for a crash involving improperly-thrown exceptions; also, add ↵ | Morgan Deters | |
LogicException for errors where the user uses a feature not permitted in the current logic (e.g., a quantifier in a QF logic) |