2013-08-10 | Ian Jackson | strategy: define w (as w(P) rather than w(H) | blob | commitdiff | raw |
2012-07-07 | Ian Jackson | notation: we have defined \setmerge now | blob | commitdiff | raw | diff to current |
2012-06-09 | Ian Jackson | strategy: calculate/use \allsrcs | blob | commitdiff | raw | diff to current |
2012-05-27 | Ian Jackson | strategy: split into more files | blob | commitdiff | raw | diff to current |