Age | Commit message (Expand) | Author |
---|---|---|
2016-04-12 | Optimizations for QCF to check relevant domain of variable argument positions... | ajreynol |
2016-04-03 | Updating the copyright headers and scripts. | Tim King |
2016-03-01 | Shorter explanations for strings based on tracking which parts of normal form... | ajreynol |