chiark / gitweb /
 
descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerIan Jackson
last changeMon, 16 Jul 2012 04:57:55 +0000
shortlog
2012-07-16 Ian Jacksonstrategy: traversal, Tip-Merge, from base, Foreign... master
2012-07-16 Ian Jacksonstrategy: traversal, Tip-Merge, from base, Tip Merge...
2012-07-16 Ian Jacksonstrategy: traversal, Tip-Merge, from base, ingredients
2012-07-16 Ian Jacksonstrategy: wip traversal.
2012-07-16 Ian Jacksonstrategy: wip traversal.
2012-07-14 Ian Jacksonstrategy: sort out some headings
2012-07-14 Ian Jacksonstrategy: introduce \condproof
2012-07-14 Ian Jacksonstrategy: rename trav-alg.tex to traversal.tex
2012-07-14 Ian Jacksonstrategy: move traversal proofs inline
2012-07-14 Ian Jacksonstrategy: reachable is going well
2012-07-14 Ian Jacksonstrategy: wip reachable etc.
2012-07-14 Ian Jacksonstrategy: wip ends reachability
2012-07-14 Ian Jacksonstrategy: wip ends reachability before py only
2012-07-12 Ian Jacksonnotation: fixes from annotations
2012-07-07 Ian Jacksontraversal: wip Recreate Base Final Declaration
2012-07-07 Ian Jacksontraversal: Prove Recreate Base Beginning - done
...
tags
11 months ago f0.3
11 months ago f0.2 formulae for review
heads
7 months ago master