2012-02-26 | Ian Jackson | fix a few bugs in THEORY master | commit | commitdiff |
2012-02-25 | Ian Jackson | working on updates for new theory/metadata | commit | commitdiff |
2012-02-22 | Ian Jackson | New theory, new metadata | commit | commitdiff |
2012-02-22 | Ian Jackson | new THEORY, define inpatch | commit | commitdiff |
2012-02-22 | Ian Jackson | new THEORY, proved | commit | commitdiff |
2012-02-22 | Ian Jackson | before NEW THEORY | commit | commitdiff |
2012-02-08 | Ian Jackson | wip theory | commit | commitdiff |
2012-02-08 | Ian Jackson | wip theory | commit | commitdiff |