2013-08-10 |
Ian Jackson | strategy: define O^P^- |
blob | commitdiff | raw |
2013-08-10 |
Ian Jackson | strategy: define w (as w(P) rather than w(H) |
blob | commitdiff | raw | diff to current |
2013-08-10 |
Ian Jackson | strategy: Define H in notation |
blob | commitdiff | raw | diff to current |
2012-07-14 |
Ian Jackson | strategy: reachable is going well |
blob | commitdiff | raw | diff to current |
2012-07-14 |
Ian Jackson | strategy: wip reachable etc. |
blob | commitdiff | raw | diff to current |
2012-07-14 |
Ian Jackson | strategy: wip ends reachability |
blob | commitdiff | raw | diff to current |
2012-07-14 |
Ian Jackson | strategy: wip ends reachability before py only |
blob | commitdiff | raw | diff to current |
2012-07-07 |
Ian Jackson | wip strategy |
blob | commitdiff | raw | diff to current |
2012-05-28 |
Ian Jackson | strategy: notational fix |
blob | commitdiff | raw | diff to current |
2012-05-28 |
Ian Jackson | strategy notation: introduce \allsrcs |
blob | commitdiff | raw | diff to current |
2012-05-27 |
Ian Jackson | strategy: split into more files |
blob | commitdiff | raw | diff to current |
2012-05-27 |
Ian Jackson | strategy: traversal wip proofs |
blob | commitdiff | raw | diff to current |
2012-05-27 |
Ian Jackson | strategy: traversal wip |
blob | commitdiff | raw | diff to current |
2012-05-27 |
Ian Jackson | strategy: traversal wip |
blob | commitdiff | raw | diff to current |
2012-05-27 |
Ian Jackson | strategy: remove old stuff |
blob | commitdiff | raw | diff to current |
2012-05-27 |
Ian Jackson | strategy: traversal wip |
blob | commitdiff | raw | diff to current |
2012-05-27 |
Ian Jackson | strategy: fixes |
blob | commitdiff | raw | diff to current |
2012-05-27 |
Ian Jackson | strategy: ranking: proof of termination |
blob | commitdiff | raw | diff to current |
2012-05-27 |
Ian Jackson | strategy: notation: setmergeof |
blob | commitdiff | raw | diff to current |
2012-05-27 |
Ian Jackson | strategy: wip traversal |
blob | commitdiff | raw | diff to current |
2012-05-27 |
Ian Jackson | strategy: notation: add \alg |
blob | commitdiff | raw | diff to current |
2012-05-27 |
Ian Jackson | strategy: new, wip, notational fixes |
blob | commitdiff | raw | diff to current |
2012-05-27 |
Ian Jackson | strategy: new, wip, notational fixes |
blob | commitdiff | raw | diff to current |
2012-05-27 |
Ian Jackson | strategy: new, wip, found |
blob | commitdiff | raw | diff to current |
2012-05-13 |
Ian Jackson | strategy: new, wip |
blob | commitdiff | raw | diff to current |
2012-05-12 |
Ian Jackson | strategy: new, wip |
blob | commitdiff | raw | diff to current |
2012-05-11 |
Ian Jackson | strategy: new, wip |
blob | commitdiff | raw | diff to current |
2012-05-11 |
Ian Jackson | strategy: new, wip |
blob | commitdiff | raw | diff to current |
2012-05-11 |
Ian Jackson | strategy: new, wip |
blob | commitdiff | raw | diff to current |
2012-05-01 |
Ian Jackson | strategy: wip |
blob | commitdiff | raw | diff to current |
2012-04-30 |
Ian Jackson | strategy: wip |
blob | commitdiff | raw | diff to current |
2012-04-29 |
Ian Jackson | strategy: wip |
blob | commitdiff | raw | diff to current |
2012-04-29 |
Ian Jackson | strategy: wip |
blob | commitdiff | raw | diff to current |
2012-04-29 |
Ian Jackson | strategy: wip |
blob | commitdiff | raw | diff to current |
2012-04-27 |
Ian Jackson | strategy: wip |
blob | commitdiff | raw | diff to current |
2012-04-27 |
Ian Jackson | strategy: rename \gref macros: perl -i~ -pe 's/gref... |
blob | commitdiff | raw | diff to current |
2012-04-27 |
Ian Jackson | strategy: wip |
blob | commitdiff | raw | diff to current |
2012-04-27 |
Ian Jackson | strategy: wip |
blob | commitdiff | raw | diff to current |
2012-04-27 |
Ian Jackson | strategy: wip |
blob | commitdiff | raw | diff to current |
2012-04-27 |
Ian Jackson | strategy: wip, notation changes, finished planning... |
blob | commitdiff | raw | diff to current |
2012-04-27 |
Ian Jackson | strategy: use \chapter |
blob | commitdiff | raw | diff to current |
2012-04-26 |
Ian Jackson | strategy: wip |
blob | commitdiff | raw | diff to current |
2012-04-25 |
Ian Jackson | strategy: wip |
blob | commitdiff | raw | diff to current |
2012-04-25 |
Ian Jackson | strategy: wip |
blob | commitdiff | raw | diff to current |
2012-04-24 |
Ian Jackson | strategy: wip |
blob | commitdiff | raw | diff to current |
|