chiark / gitweb /
notation: remove notation test file
[topbloke-formulae.git] / article.tex
2012-07-07 Ian Jacksonnotation: strip word "merge" from \setmergeof etc....
2012-07-07 Ian Jacksoninternal notation: invent \commitmergename and use...
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-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 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 Jacksonstrategy: notation: change D(K) to G(K)
2012-05-27 Ian Jacksonstrategy: replace old \tip... macros
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: notation: add \alg
2012-05-27 Ian Jacksonstrategy: new, wip, notational fixes
2012-05-13 Ian Jacksonstrategy: new, wip
2012-05-12 Ian Jacksonstrategy: new, wip
2012-05-11 Ian Jacksonstrategy: new, wip
2012-05-01 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, 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-24 Ian Jacksonstrategy: wip
2012-04-24 Ian Jacksonstrategy: provide new \pc eg al
2012-04-18 Ian Jacksonprovide \bigexists
2012-03-25 Ian Jackson\nothaspatch with two slashes again as it's not equival...
2012-03-20 Ian Jacksonwip exclusive haspatch - better kerning
2012-03-20 Ian Jacksonwip exclusive haspatch - better symbol
2012-03-20 Ian Jacksonwip exclusive haspatch - notation
2012-03-18 Ian Jacksonswap L and R headers and footers, better for 2-up outpu...
2012-03-18 Ian Jacksonrevid - include
2012-03-18 Ian Jacksonprovide \pl etc.
2012-03-16 Ian Jacksonsplit into multiple source files
2012-03-16 Ian Jacksonremove a spurious \newpage
2012-03-15 Ian Jacksonmerge ends conditions change order of precondition...
2012-03-15 Ian Jacksonwording improvement
2012-03-15 Ian Jacksonmention that merge can be used for dependency reinsertion
2012-03-15 Ian JacksonRevert "rename anticommit section"
2012-03-15 Ian JacksonRevert all "wip dependency insertion"
2012-03-14 Ian Jacksonwip dependency insertion
2012-03-14 Ian Jacksonwip dependency insertion
2012-03-14 Ian Jacksonwip dependency insertion
2012-03-14 Ian Jacksonwip dependency insertion
2012-03-14 Ian Jacksonwip dependency insertion
2012-03-14 Ian Jacksonwip dependency insertion
2012-03-14 Ian Jacksonwip dependency insertion
2012-03-14 Ian Jacksonwip dependency insertion
2012-03-14 Ian Jacksonrename anticommit section
2012-03-12 Ian Jacksonmore clarifications and fixes from reread
2012-03-12 Ian Jacksonmore clarifications and fixes from reread
2012-03-12 Ian Jacksonmore clarifications and fixes from reread
2012-03-12 Ian Jacksonclarifications and fixes from reread
2012-03-12 Ian Jacksonimprove wording
2012-03-12 Ian Jacksonimprove wording
2012-03-12 Ian Jacksoncreate base: remove ingredients condition
2012-03-12 Ian Jacksoncreate base: strengthen create acyclic condition
2012-03-12 Ian Jacksonformatting: a couple of extra [ ]
2012-03-12 Ian Jacksonformatting: section headings on lh pages too
2012-03-12 Ian Jacksonin simple commit rename parent from A to L
2012-03-12 Ian Jacksonadd purported proof of calculation of ends
2012-03-12 Ian Jacksonfix calculation of ends formula
2012-03-12 Ian Jacksonassert that exact ancestors is trivial
2012-03-12 Ian Jacksonproof of alternative merge formulation
2012-03-12 Ian Jacksonremove trailing ws
2012-03-12 Ian Jacksoncreate tip
2012-03-12 Ian Jacksonsimple commit foreign inclusion use simple foreign...
2012-03-12 Ian Jacksonintroduce and use Totally Foreign Contents
2012-03-12 Ian Jacksonwip create tip
2012-03-12 Ian Jacksonadd missing []
2012-03-12 Ian Jacksonimprove proof of create base inclusion
2012-03-12 Ian Jacksoncreate tip wip
2012-03-12 Ian Jacksonintroduce macros \pq \pqy \pqn
2012-03-12 Ian Jacksoncreate base rename cond to create acyclic
2012-03-12 Ian Jacksoncreate base fix base acyclic and condition
2012-03-12 Ian Jacksonwip create tip
2012-03-12 Ian Jacksontodo list item
2012-03-12 Ian Jacksonuse Q not B as patch name in create base
2012-03-12 Ian Jacksonrename Ingredients Prohibit Replay to Prevent
2012-03-12 Ian Jacksonreplace various no replay with Ingredients Prohibit...
2012-03-12 Ian Jacksonrename merge Ordering of L... to Ordering of Ingredients
2012-03-12 Ian Jacksoncreate base foreign contents
2012-03-12 Ian Jacksonchange Not Applicable [] to Not Applicable
2012-03-12 Ian Jacksoncreate base foreign inclusion
2012-03-12 Ian Jacksonwip create base
2012-03-11 Ian Jacksoncreate base coherence fix title
2012-03-11 Ian Jacksoncreate base fix def
2012-03-11 Ian Jacksonprove and use totally foreign contents
2012-03-11 Ian Jacksonfix some headings
2012-03-11 Ian Jacksonformalise foreign merges
2012-03-11 Ian JacksonForeign Contents section in a couple of places
2012-03-11 Ian Jacksonnew foreign contents restriction
2012-03-11 Ian Jacksonfix a section => subsection
2012-03-11 Ian Jacksonfix create tip tbd
2012-03-11 Ian Jacksonwip create base
next