chiark / gitweb /
assert that exact ancestors is trivial
[topbloke-formulae.git] / article.tex
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
2012-03-11 Ian Jacksonmerge conditions into conditions
2012-03-11 Ian Jacksonanticommit clarify note re ingredient order
2012-03-11 Ian Jacksonanticommit conditions into conditions
2012-03-11 Ian Jacksonwip creates
2012-03-11 Ian Jacksonformatting move/add some qeds
2012-03-11 Ian Jacksonsimple commit unique base clarification
2012-03-11 Ian Jacksonannotation calculation
2012-03-11 Ian Jacksonfix up some lemmas re ends
2012-03-11 Ian Jacksona todo item
2012-03-11 Ian Jacksonanticommit foreign inclusion
2012-03-11 Ian Jacksona todo item
2012-03-11 Ian Jacksonwip anticommit foreign inclusion
2012-03-11 Ian Jacksonmerge reference to no replay fix ref to be more regular
2012-03-11 Ian Jacksonanticommit make note re merge base vs merge rhs ordering
2012-03-11 Ian Jacksonanticommit - split out ordering
2012-03-11 Ian Jacksonmerge coherence use two implies in statement since...
2012-03-11 Ian Jacksonanticommit coherence
2012-03-11 Ian Jacksonanticommit rename From Base to Into Base
2012-03-11 Ian Jacksonanticommit base acyclic
2012-03-11 Ian Jacksonstrengthen anticommit condition to From Base
2012-03-11 Ian Jacksonmerge foreign inclusion
2012-03-11 Ian Jacksonmove alternative formulation of merge results into...
2012-03-11 Ian JacksonProve that plain git merges on non-tb branches are ok
2012-03-11 Ian JacksonMention that simple commit justification applies to...
2012-03-11 Ian Jacksonclarify text re non-tb flattened re-inclusion
2012-03-11 Ian Jacksonmerge wip
2012-03-11 Ian Jacksonmerge tip contents done
2012-03-11 Ian Jacksonmerge tip contentss: clarify arbitrariness of D
2012-03-11 Ian Jacksoncapitalise a few names
2012-03-11 Ian Jacksonmerge remove redundant element in condition
2012-03-11 Ian Jacksonwip merge tip contents
2012-03-11 Ian Jacksonsome alternative formulations of \merge
2012-03-11 Ian Jacksonadd definition of \nequiv. \not\equiv still does not...
2012-03-11 Ian Jacksonwip merge tip contents
2012-03-11 Ian Jacksonwip merge tip contents
2012-03-11 Ian Jacksonwip merge tip contents
2012-03-08 Ian Jacksonwip merge tip contents
2012-03-08 Ian Jacksonwip merge tip contents
2012-03-08 Ian Jacksonmerge base acyclic (and condition)
2012-03-08 Ian Jacksonclarify P sets none overlap
2012-03-08 Ian Jacksonwip merge tip contents
2012-03-08 Ian Jacksonrename exclusive tip contents corollary
2012-03-08 Ian Jacksonmerge complex done
2012-03-08 Ian Jacksonwip merge complex - reformulate merge ends conditions
2012-03-08 Ian Jacksonmerge ends condition - change condition to one that...
2012-03-08 Ian Jacksonwip merge complex - final case?
2012-03-08 Ian Jacksonwip merge complex - fix bug, improve merge ends condition
2012-03-08 Ian Jacksonwip merge complex - a bug
2012-03-08 Ian Jacksonwip merge complex
2012-03-08 Ian Jacksonimprove merge ends formatting
2012-03-08 Ian Jacksonwip merge complex - C = D
2012-03-08 Ian Jacksonwip merge complex - a fix
2012-03-06 Ian Jacksonwip merge complex
2012-03-06 Ian Jacksonwip merge complex
2012-03-06 Ian Jacksonuse \p rather than just P
2012-03-06 Ian Jacksonwip merge complex
2012-03-06 Ian Jacksonmove merge X and Y def up
2012-03-06 Ian Jacksontiny clarification
2012-03-06 Ian Jacksonintroduce \proofstarts
2012-03-06 Ian Jacksonwip merge content
2012-03-06 Ian Jacksonadd some xxx's
2012-03-06 Ian Jacksonanticommit desired contents
2012-03-06 Ian JacksonRename \merge to \mergeof so we can have \merge
2012-03-06 Ian Jacksonprovide \nge and \nle (which \not uses)
2012-03-06 Ian Jacksonwip anticommit desired contents
2012-03-05 Ian Jacksonformatting fix
2012-03-05 Ian Jacksonfix title etc. in merge use of no replay
next