2012-03-27 | Ian Jackson | comments from mdw - add section on \set to notation | blob | commitdiff | raw |
2012-03-27 | Ian Jackson | comments from mdw - clarify that \p are disjoint by... | blob | commitdiff | raw | diff to current |
2012-03-25 | Ian Jackson | commentary about exhaustiveness | blob | commitdiff | raw | diff to current |
2012-03-21 | Ian Jackson | wip exclusive haspatch - change notation to F in defn | blob | commitdiff | raw | diff to current |
2012-03-21 | Ian Jackson | wip exclusive haspatch - reorder notation | blob | commitdiff | raw | diff to current |
2012-03-20 | Ian Jackson | wip exclusive haspatch - notation | blob | commitdiff | raw | diff to current |
2012-03-16 | Ian Jackson | add note about non-exclusivity of \haspatch and \nothas... | blob | commitdiff | raw | diff to current |
2012-03-16 | Ian Jackson | split into multiple source files | blob | commitdiff | raw | diff to current |