chiark / gitweb /
~ian / topbloke-formulae.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
foreign notation: change \bot to \foreign everywhere
2012-03-18 Ian Jacksonfix non-topbloke merges empty ends proof
 commit | commitdiff | tree
2012-03-18 Ian Jacksonrationalise patch notation names - anticommit
 commit | commitdiff | tree
2012-03-18 Ian Jacksonprovide \pl etc.
 commit | commitdiff | tree
2012-03-18 Ian Jacksonrationalise patch notation names - annotations
 commit | commitdiff | tree
2012-03-16 Ian Jacksonrename Tip Self Contents -> Tip Own Contents
 commit | commitdiff | tree
2012-03-16 Ian Jacksonrename Tip Self Inpatch -> Tip Self Contents
 commit | commitdiff | tree
2012-03-16 Ian Jacksonsmall fixes
 commit | commitdiff | tree
2012-03-16 Ian Jacksonnon-topbloke merges fix merge ends proof
 commit | commitdiff | tree
2012-03-16 Ian Jacksonbe more rigorous about conformance
 commit | commitdiff | tree
2012-03-16 Ian Jacksonadd note about non-exclusivity of \haspatch and \nothaspatch
 commit | commitdiff | tree
2012-03-16 Ian Jacksonuse new extended Self Tip Inpatch
 commit | commitdiff | tree
2012-03-16 Ian Jacksonextend Self Tip Inpatch
 commit | commitdiff | tree
2012-03-16 Ian Jacksonremove a couple of spurious $\qed$
 commit | commitdiff | tree
2012-03-16 Ian Jacksonremove spurious .
 commit | commitdiff | tree
2012-03-16 Ian Jacksonmerge fixes/clarifications - clarify and fix tip contents...
commit | commitdiff | tree
2012-03-16 Ian Jacksonmerge fixes/clarifications - clarify tip contents R...
commit | commitdiff | tree
2012-03-16 Ian Jacksonmerge fixes/clarifications - sort out complex case...
commit | commitdiff | tree
2012-03-16 Ian Jacksonmerge fixes/clarifications - fix several P to \p
 commit | commitdiff | tree
2012-03-16 Ian Jacksonmerge fixes/clarifications - remove wrong "on R"
 commit | commitdiff | tree
2012-03-16 Ian Jacksonmerge fixes/clarifications - add missing \
 commit | commitdiff | tree
2012-03-16 Ian Jacksonmerge fixes/clarifications - clarify Non-Topbloke merges...
commit | commitdiff | tree
2012-03-16 Ian Jacksonmerge fixes/clarifications - clarify Non-Topbloke merges
 commit | commitdiff | tree
2012-03-16 Ian Jacksonmerge fixes/clarifications - relax Foreign Merges
 commit | commitdiff | tree
2012-03-16 Ian Jacksonmerge fixes/clarifications - change , to \land
 commit | commitdiff | tree
2012-03-16 Ian Jacksonsplit into multiple source files
 commit | commitdiff | tree
2012-03-16 Ian Jacksonremove a spurious \newpage
 commit | commitdiff | tree
2012-03-15 Ian Jacksonmerge ends conditions change order of precondition...
commit | commitdiff | tree
2012-03-15 Ian Jacksonwording improvement
 commit | commitdiff | tree
2012-03-15 Ian Jacksonmention that merge can be used for dependency reinsertion
 commit | commitdiff | tree
2012-03-15 Ian JacksonRevert "rename anticommit section"
 commit | commitdiff | tree
2012-03-15 Ian JacksonRevert all "wip dependency insertion"
 commit | commitdiff | tree
2012-03-14 Ian Jacksonwip dependency insertion
 commit | commitdiff | tree
2012-03-14 Ian Jacksonwip dependency insertion
 commit | commitdiff | tree
2012-03-14 Ian Jacksonwip dependency insertion
 commit | commitdiff | tree
2012-03-14 Ian Jacksonwip dependency insertion
 commit | commitdiff | tree
2012-03-14 Ian Jacksonwip dependency insertion
 commit | commitdiff | tree
2012-03-14 Ian Jacksonwip dependency insertion
 commit | commitdiff | tree
2012-03-14 Ian Jacksonwip dependency insertion
 commit | commitdiff | tree
2012-03-14 Ian Jacksonwip dependency insertion
 commit | commitdiff | tree
2012-03-14 Ian Jacksonrename anticommit section
 commit | commitdiff | tree
2012-03-12 Ian Jacksonmore clarifications and fixes from reread
 commit | commitdiff | tree
2012-03-12 Ian Jacksonmore clarifications and fixes from reread
 commit | commitdiff | tree
2012-03-12 Ian Jacksonmore clarifications and fixes from reread
 commit | commitdiff | tree
2012-03-12 Ian Jacksonclarifications and fixes from reread
 commit | commitdiff | tree
2012-03-12 Ian Jacksonimprove wording
 commit | commitdiff | tree
2012-03-12 Ian Jacksonimprove wording
 commit | commitdiff | tree
2012-03-12 Ian Jacksoncreate base: remove ingredients condition
 commit | commitdiff | tree
2012-03-12 Ian Jacksoncreate base: strengthen create acyclic condition
 commit | commitdiff | tree
2012-03-12 Ian Jacksonformatting: a couple of extra [ ]
 commit | commitdiff | tree
2012-03-12 Ian Jacksonformatting: section headings on lh pages too
 commit | commitdiff | tree
2012-03-12 Ian Jacksonin simple commit rename parent from A to L
 commit | commitdiff | tree
2012-03-12 Ian Jacksonadd purported proof of calculation of ends
 commit | commitdiff | tree
2012-03-12 Ian Jacksonfix calculation of ends formula
 commit | commitdiff | tree
2012-03-12 Ian Jacksonassert that exact ancestors is trivial
 commit | commitdiff | tree
2012-03-12 Ian Jacksonproof of alternative merge formulation
 commit | commitdiff | tree
2012-03-12 Ian Jacksonremove trailing ws
 commit | commitdiff | tree
2012-03-12 Ian Jacksoncreate tip
 commit | commitdiff | tree
2012-03-12 Ian Jacksonsimple commit foreign inclusion use simple foreign...
commit | commitdiff | tree
2012-03-12 Ian Jacksonintroduce and use Totally Foreign Contents
 commit | commitdiff | tree
2012-03-12 Ian Jacksonwip create tip
 commit | commitdiff | tree
2012-03-12 Ian Jacksonadd missing []
 commit | commitdiff | tree
2012-03-12 Ian Jacksonimprove proof of create base inclusion
 commit | commitdiff | tree
2012-03-12 Ian Jacksoncreate tip wip
 commit | commitdiff | tree
2012-03-12 Ian Jacksonintroduce macros \pq \pqy \pqn
 commit | commitdiff | tree
2012-03-12 Ian Jacksoncreate base rename cond to create acyclic
 commit | commitdiff | tree
2012-03-12 Ian Jacksoncreate base fix base acyclic and condition
 commit | commitdiff | tree
2012-03-12 Ian Jacksonwip create tip
 commit | commitdiff | tree
2012-03-12 Ian Jacksontodo list item
 commit | commitdiff | tree
2012-03-12 Ian Jacksonuse Q not B as patch name in create base
 commit | commitdiff | tree
2012-03-12 Ian Jacksonrename Ingredients Prohibit Replay to Prevent
 commit | commitdiff | tree
2012-03-12 Ian Jacksonreplace various no replay with Ingredients Prohibit...
commit | commitdiff | tree
2012-03-12 Ian Jacksonrename merge Ordering of L... to Ordering of Ingredients
 commit | commitdiff | tree
2012-03-12 Ian Jacksoncreate base foreign contents
 commit | commitdiff | tree
2012-03-12 Ian Jacksonchange Not Applicable [] to Not Applicable
 commit | commitdiff | tree
2012-03-12 Ian Jacksoncreate base foreign inclusion
 commit | commitdiff | tree
2012-03-12 Ian Jacksonwip create base
 commit | commitdiff | tree
2012-03-11 Ian Jacksoncreate base coherence fix title
 commit | commitdiff | tree
2012-03-11 Ian Jacksoncreate base fix def
 commit | commitdiff | tree
2012-03-11 Ian Jacksonprove and use totally foreign contents
 commit | commitdiff | tree
2012-03-11 Ian Jacksonfix some headings
 commit | commitdiff | tree
2012-03-11 Ian Jacksonformalise foreign merges
 commit | commitdiff | tree
2012-03-11 Ian JacksonForeign Contents section in a couple of places
 commit | commitdiff | tree
2012-03-11 Ian Jacksonnew foreign contents restriction
 commit | commitdiff | tree
2012-03-11 Ian Jacksonfix a section => subsection
 commit | commitdiff | tree
2012-03-11 Ian Jacksonfix create tip tbd
 commit | commitdiff | tree
2012-03-11 Ian Jacksonwip create base
 commit | commitdiff | tree
2012-03-11 Ian Jacksonmerge conditions into conditions
 commit | commitdiff | tree
2012-03-11 Ian Jacksonanticommit clarify note re ingredient order
 commit | commitdiff | tree
2012-03-11 Ian Jacksonanticommit conditions into conditions
 commit | commitdiff | tree
2012-03-11 Ian Jacksonwip creates
 commit | commitdiff | tree
2012-03-11 Ian Jacksonformatting move/add some qeds
 commit | commitdiff | tree
2012-03-11 Ian Jacksonsimple commit unique base clarification
 commit | commitdiff | tree
2012-03-11 Ian Jacksonannotation calculation
 commit | commitdiff | tree
2012-03-11 Ian Jacksonfix up some lemmas re ends
 commit | commitdiff | tree
2012-03-11 Ian Jacksona todo item
 commit | commitdiff | tree
2012-03-11 Ian Jacksonanticommit foreign inclusion
 commit | commitdiff | tree
2012-03-11 Ian Jacksona todo item
 commit | commitdiff | tree
2012-03-11 Ian Jacksonwip anticommit foreign inclusion
 commit | commitdiff | tree
2012-03-11 Ian Jacksonmerge reference to no replay fix ref to be more regular
 commit | commitdiff | tree
2012-03-11 Ian Jacksonanticommit make note re merge base vs merge rhs ordering
 commit | commitdiff | tree
next
Unnamed repository; edit this file 'description' to name the repository.