chiark / gitweb /
~ian / topbloke-formulae.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
formalise foreign merges
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
2012-03-11 Ian Jacksonanticommit - split out ordering
 commit | commitdiff | tree
2012-03-11 Ian Jacksonmerge coherence use two implies in statement since...
commit | commitdiff | tree
2012-03-11 Ian Jacksonanticommit coherence
 commit | commitdiff | tree
2012-03-11 Ian Jacksonanticommit rename From Base to Into Base
 commit | commitdiff | tree
2012-03-11 Ian Jacksonanticommit base acyclic
 commit | commitdiff | tree
2012-03-11 Ian Jacksonstrengthen anticommit condition to From Base
 commit | commitdiff | tree
2012-03-11 Ian Jacksonmerge foreign inclusion
 commit | commitdiff | tree
2012-03-11 Ian Jacksonmove alternative formulation of merge results into...
commit | commitdiff | tree
2012-03-11 Ian JacksonProve that plain git merges on non-tb branches are ok
 commit | commitdiff | tree
2012-03-11 Ian JacksonMention that simple commit justification applies to...
commit | commitdiff | tree
2012-03-11 Ian Jacksonclarify text re non-tb flattened re-inclusion
 commit | commitdiff | tree
2012-03-11 Ian Jacksonmerge wip
 commit | commitdiff | tree
2012-03-11 Ian Jacksonmerge tip contents done
 commit | commitdiff | tree
2012-03-11 Ian Jacksonmerge tip contentss: clarify arbitrariness of D
 commit | commitdiff | tree
2012-03-11 Ian Jacksoncapitalise a few names
 commit | commitdiff | tree
2012-03-11 Ian Jacksonmerge remove redundant element in condition
 commit | commitdiff | tree
2012-03-11 Ian Jacksonwip merge tip contents
 commit | commitdiff | tree
2012-03-11 Ian Jacksonsome alternative formulations of \merge
 commit | commitdiff | tree
2012-03-11 Ian Jacksonadd definition of \nequiv. \not\equiv still does not...
commit | commitdiff | tree
2012-03-11 Ian Jacksonwip merge tip contents
 commit | commitdiff | tree
2012-03-11 Ian Jacksonwip merge tip contents
 commit | commitdiff | tree
2012-03-11 Ian Jacksonwip merge tip contents
 commit | commitdiff | tree
2012-03-08 Ian Jacksonwip merge tip contents
 commit | commitdiff | tree
2012-03-08 Ian Jacksonwip merge tip contents
 commit | commitdiff | tree
2012-03-08 Ian Jacksonmerge base acyclic (and condition)
 commit | commitdiff | tree
2012-03-08 Ian Jacksonclarify P sets none overlap
 commit | commitdiff | tree
2012-03-08 Ian Jacksonwip merge tip contents
 commit | commitdiff | tree
2012-03-08 Ian Jacksonrename exclusive tip contents corollary
 commit | commitdiff | tree
2012-03-08 Ian Jacksonmerge complex done
 commit | commitdiff | tree
2012-03-08 Ian Jacksonwip merge complex - reformulate merge ends conditions
 commit | commitdiff | tree
2012-03-08 Ian Jacksonmerge ends condition - change condition to one that...
commit | commitdiff | tree
2012-03-08 Ian Jacksonwip merge complex - final case?
 commit | commitdiff | tree
2012-03-08 Ian Jacksonwip merge complex - fix bug, improve merge ends condition
 commit | commitdiff | tree
2012-03-08 Ian Jacksonwip merge complex - a bug
 commit | commitdiff | tree
2012-03-08 Ian Jacksonwip merge complex
 commit | commitdiff | tree
2012-03-08 Ian Jacksonimprove merge ends formatting
 commit | commitdiff | tree
2012-03-08 Ian Jacksonwip merge complex - C = D
 commit | commitdiff | tree
2012-03-08 Ian Jacksonwip merge complex - a fix
 commit | commitdiff | tree
2012-03-06 Ian Jacksonwip merge complex
 commit | commitdiff | tree
2012-03-06 Ian Jacksonwip merge complex
 commit | commitdiff | tree
2012-03-06 Ian Jacksonuse \p rather than just P
 commit | commitdiff | tree
2012-03-06 Ian Jacksonwip merge complex
 commit | commitdiff | tree
2012-03-06 Ian Jacksonmove merge X and Y def up
 commit | commitdiff | tree
2012-03-06 Ian Jacksontiny clarification
 commit | commitdiff | tree
2012-03-06 Ian Jacksonintroduce \proofstarts
 commit | commitdiff | tree
2012-03-06 Ian Jacksonwip merge content
 commit | commitdiff | tree
2012-03-06 Ian Jacksonadd some xxx's
 commit | commitdiff | tree
2012-03-06 Ian Jacksonanticommit desired contents
 commit | commitdiff | tree
2012-03-06 Ian JacksonRename \merge to \mergeof so we can have \merge
 commit | commitdiff | tree
2012-03-06 Ian Jacksonprovide \nge and \nle (which \not uses)
 commit | commitdiff | tree
2012-03-06 Ian Jacksonwip anticommit desired contents
 commit | commitdiff | tree
2012-03-05 Ian Jacksonformatting fix
 commit | commitdiff | tree
2012-03-05 Ian Jacksonfix title etc. in merge use of no replay
 commit | commitdiff | tree
2012-03-05 Ian Jacksonwip anticommit
 commit | commitdiff | tree
2012-03-05 Ian Jacksonimprove "no replay for merge results" (correct conditions...
commit | commitdiff | tree
2012-03-05 Ian Jacksonprovide \base and \patch
 commit | commitdiff | tree
2012-03-05 Ian JacksonNo Replay for Merge Results
 commit | commitdiff | tree
2012-03-05 Ian Jacksonwip anticommit; use \merge
 commit | commitdiff | tree
2012-03-05 Ian Jacksondefine \merge and add it to notation section
 commit | commitdiff | tree
2012-03-05 Ian Jacksonwip experiment merge
 commit | commitdiff | tree
2012-03-05 Ian Jacksonwip anticommit
 commit | commitdiff | tree
2012-03-05 Ian Jacksonfinish merge unique base (we think)
 commit | commitdiff | tree
2012-03-05 Ian Jacksonwip merge
 commit | commitdiff | tree
2012-03-05 Ian Jacksonwip merge
 commit | commitdiff | tree
2012-03-04 Ian Jacksonheading for other side
 commit | commitdiff | tree
2012-03-04 Ian Jacksonfix a typo
 commit | commitdiff | tree
2012-03-04 Ian Jacksona possible bug
 commit | commitdiff | tree
2012-03-04 Ian Jacksonincrease \errorcontextlines
 commit | commitdiff | tree
2012-03-04 Ian Jacksonadd some missing { } around macro args
 commit | commitdiff | tree
2012-03-04 Ian Jacksonsubsubsection hyperref font problems: try exciting...
commit | commitdiff | tree
2012-03-03 Ian Jacksondemo problem test case
 commit | commitdiff | tree
2012-03-03 Ian Jacksonadd FIXME because \py seems to cause barf in \subsubsection
 commit | commitdiff | tree
2012-03-02 Ian Jacksonwip merge unique base
 commit | commitdiff | tree
2012-03-02 Ian Jacksonwip merge unique base
 commit | commitdiff | tree
2012-03-02 Ian Jacksonlemma calculation of ends, no proof yet
 commit | commitdiff | tree
2012-03-02 Ian Jacksonclarify by swapping two vars
 commit | commitdiff | tree
2012-03-02 Ian JacksonLargeexists
 commit | commitdiff | tree
2012-03-02 Ian Jacksonmerge no replay
 commit | commitdiff | tree
2012-03-02 Ian Jacksonwip merge
 commit | commitdiff | tree
2012-03-02 Ian Jacksonwip merge before rejoin tip merge condition
 commit | commitdiff | tree
next
Unnamed repository; edit this file 'description' to name the repository.