chiark / gitweb /
notation: remove notation test file
[topbloke-formulae.git] / strategy.tex
2012-07-07 Ian Jacksonwip strategy
2012-05-28 Ian Jacksonstrategy: notational fix
2012-05-28 Ian Jacksonstrategy notation: introduce \allsrcs
2012-05-27 Ian Jacksonstrategy: split into more files
2012-05-27 Ian Jacksonstrategy: traversal wip proofs
2012-05-27 Ian Jacksonstrategy: traversal wip
2012-05-27 Ian Jacksonstrategy: traversal wip
2012-05-27 Ian Jacksonstrategy: remove old stuff
2012-05-27 Ian Jacksonstrategy: traversal wip
2012-05-27 Ian Jacksonstrategy: fixes
2012-05-27 Ian Jacksonstrategy: ranking: proof of termination
2012-05-27 Ian Jacksonstrategy: notation: setmergeof
2012-05-27 Ian Jacksonstrategy: wip traversal
2012-05-27 Ian Jacksonstrategy: notation: add \alg
2012-05-27 Ian Jacksonstrategy: new, wip, notational fixes
2012-05-27 Ian Jacksonstrategy: new, wip, notational fixes
2012-05-27 Ian Jacksonstrategy: new, wip, found
2012-05-13 Ian Jacksonstrategy: new, wip
2012-05-12 Ian Jacksonstrategy: new, wip
2012-05-11 Ian Jacksonstrategy: new, wip
2012-05-11 Ian Jacksonstrategy: new, wip
2012-05-11 Ian Jacksonstrategy: new, wip
2012-05-01 Ian Jacksonstrategy: wip
2012-04-30 Ian Jacksonstrategy: wip
2012-04-29 Ian Jacksonstrategy: wip
2012-04-29 Ian Jacksonstrategy: wip
2012-04-29 Ian Jacksonstrategy: wip
2012-04-27 Ian Jacksonstrategy: wip
2012-04-27 Ian Jacksonstrategy: rename \gref macros: perl -i~ -pe 's/gref...
2012-04-27 Ian Jacksonstrategy: wip
2012-04-27 Ian Jacksonstrategy: wip
2012-04-27 Ian Jacksonstrategy: wip
2012-04-27 Ian Jacksonstrategy: wip, notation changes, finished planning...
2012-04-27 Ian Jacksonstrategy: use \chapter
2012-04-26 Ian Jacksonstrategy: wip
2012-04-25 Ian Jacksonstrategy: wip
2012-04-25 Ian Jacksonstrategy: wip
2012-04-24 Ian Jacksonstrategy: wip