chiark / gitweb /
~ian / topbloke-formulae.git / summary
? search:
summary | shortlog | log | commit | commitdiff | tree

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