2012-04-27 | Ian Jackson | invariants: remove some slightly ugly colons | blob | commitdiff | raw |
2012-04-18 | Ian Jackson | unique tips: fix various \pendsof and \pancsof to refer... | blob | commitdiff | raw | diff to current |
2012-04-18 | Ian Jackson | unique tips: add to list of invariants | blob | commitdiff | raw | diff to current |
2012-03-27 | Ian Jackson | comments from mdw - clarify that \p are disjoint by... | blob | commitdiff | raw | diff to current |
2012-03-16 | Ian Jackson | be more rigorous about conformance | blob | commitdiff | raw | diff to current |
2012-03-16 | Ian Jackson | split into multiple source files | blob | commitdiff | raw | diff to current |