2012-07-07 | Ian Jackson | traversal: Base/Tip Correct Contents chane notation | blob | commitdiff | raw |
2012-07-07 | Ian Jackson | traversal: proof of Tip Correct Contents | blob | commitdiff | raw | diff to current |
2012-07-07 | Ian Jackson | traversal: wip prove Recreate Base Beginning OK, curren... | blob | commitdiff | raw | diff to current |
2012-07-07 | Ian Jackson | wip traversal, diverting to do Recreate-Base first | blob | commitdiff | raw | diff to current |
2012-07-07 | Ian Jackson | wip traversal | blob | commitdiff | raw | diff to current |
2012-07-07 | Ian Jackson | wip traversal | blob | commitdiff | raw | diff to current |
2012-06-09 | Ian Jackson | strategy: amendments from p27-28 | blob | commitdiff | raw | diff to current |
2012-05-28 | Ian Jackson | strategy: wip proofs | blob | commitdiff | raw | diff to current |
2012-05-27 | Ian Jackson | strategy: split into more files | blob | commitdiff | raw | diff to current |