2012-02-25 | Ian Jackson | working on updates for new theory/metadata | blob | commitdiff | raw |
2012-02-22 | Ian Jackson | New theory, new metadata | blob | commitdiff | raw | diff to current |
2012-02-22 | Ian Jackson | new THEORY, define inpatch | blob | commitdiff | raw | diff to current |
2012-02-22 | Ian Jackson | new THEORY, proved | blob | commitdiff | raw | diff to current |
2012-02-22 | Ian Jackson | before NEW THEORY | blob | commitdiff | raw | diff to current |
2012-02-08 | Ian Jackson | wip theory | blob | commitdiff | raw | diff to current |
2012-02-08 | Ian Jackson | wip theory | blob | commitdiff | raw | diff to current |