chiark / gitweb /
topbloke-formulae.git
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
2012-07-07 Ian Jacksontraversal: Prove Recreate Base Beginning - Create Acyclic
2012-07-07 Ian Jacksontraversal: Base/Tip Correct Contents chane notation
2012-07-07 Ian Jacksontraversal: proof of Tip Correct Contents
2012-07-07 Ian Jacksontraversal: wip prove Recreate Base Beginning OK, curren...
2012-07-07 Ian Jacksoncreate base: improve acyclic condition
2012-07-07 Ian Jacksonwip traversal
2012-07-07 Ian Jacksonwip traversal
2012-07-07 Ian Jacksonwip traversal
2012-07-07 Ian Jacksonwip traversal, diverting to do Recreate-Base first
2012-07-07 Ian Jacksonwip traversal
2012-07-07 Ian Jacksonwip traversal
2012-07-07 Ian Jacksonnotation: we have defined \setmerge now
2012-07-07 Ian Jacksonnotation: remove notation test file
2012-07-07 Ian Jacksonnotation: strip word "merge" from \setmergeof etc....
2012-07-07 Ian Jacksonnotation: use \commitmergename in its definition text...
2012-07-07 Ian Jacksoninternal notation: invent \commitmergename and use...
2012-07-07 Ian Jacksonnotation: define \commitmergeof in terms of \stmtmergeof
2012-07-07 Ian Jacksonnotation: define \stmtmergeof and \setmergeof
2012-07-07 Ian Jacksoninternal notation: break out \mergeof
2012-07-07 Ian Jacksoninternal notation: rename \merge and \mergeof to \commi...
2012-07-07 Ian Jacksoninternal notation: rename \merge and \mergeof to \commi...
2012-07-07 Ian Jacksonwip strategy
2012-06-09 Ian Jacksonstrategy: calculate/use \allsrcs
2012-06-09 Ian Jacksonstrategy: amendments from p27-28
2012-05-28 Ian Jacksonstrategy: wip proofs
2012-05-28 Ian Jacksonstrategy: notational fix
2012-05-28 Ian Jacksonnew macro \statement (for \[\eqn{...}{...}\] - many...
2012-05-28 Ian Jacksonstrategy notation: introduce \allsrcs
2012-05-27 Ian Jacksonstrategy: split into more files
2012-05-27 Ian Jacksonpsueomerge: sort out foreign ends
2012-05-27 Ian Jacksonannotate foreign ends too
2012-05-27 Ian Jacksonforeign notation: replace "D \text{ s.t. } \isforeign...
2012-05-27 Ian Jacksonforeign notation: make \foreign into a set
2012-05-27 Ian Jacksonforeign notation: introduce \isforeign
2012-05-27 Ian Jacksonforeign notation: change \bot to \foreign everywhere
2012-05-27 Ian Jacksonpsuedomerge: initial version
2012-05-27 Ian Jacksonfixes: correct suitable tips
2012-05-27 Ian Jacksonstrategy: notation: change D(K) to G(K)
2012-05-27 Ian Jacksonfixes: correct suitable tips
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: replace old \tip... macros
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 Jacksonnotation: \hasdirdep
2012-05-27 Ian Jacksonstrategy: notation: setmerge -> merge
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 Jacksoninvariants: remove some slightly ugly colons
2012-04-27 Ian Jacksonstrategy: wip, notation changes, finished planning...
2012-04-27 Ian Jacksonnotation: change >_1 to >_1: so we can define \succ_1...
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
2012-04-24 Ian Jacksonstrategy: provide new \pc eg al
2012-04-18 Ian Jacksonmerge: fix dependency reinsertion blurb to mention...
2012-04-18 Ian Jacksonunique tips: rename anticommit condition Unique Tip...
2012-04-18 Ian Jacksonunique tips: fix various \pendsof and \pancsof to refer...
2012-04-18 Ian Jacksonunique tips: add condition and prove, for merge
2012-04-18 Ian Jacksonprovide \bigexists
2012-04-18 Ian Jacksonunique tips: single parent unique tips applies to antic...
2012-04-18 Ian Jacksonunique tips: single parent unique tips use cases
2012-04-18 Ian Jacksonunique tips: single parent unique tips lemma
2012-04-18 Ian Jacksonunique tips: add to list of invariants
2012-03-27 Ian Jacksonfix typo f0.3
2012-03-27 Ian Jacksoncomments from mdw - fix incorrect refs to B in create tip
2012-03-27 Ian Jacksoncomments from mdw - add note re universal quantification
2012-03-27 Ian Jacksoncomments from mdw - add section on \set to notation
2012-03-27 Ian Jacksoncomments from mdw - clarify that \p are disjoint by...
2012-03-26 Ian Jacksonclarify proof of calculation of ends
2012-03-26 Ian Jacksonfix notation in calculation of ends
2012-03-25 Ian Jacksonadd final.ps to default target
2012-03-25 Ian Jacksonclarify merge complex D=C
next