chiark / gitweb /
~ian / topbloke-formulae.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
strategy: traversal, Tip-Merge, from base, ingredients
2012-04-18 Ian Jacksonunique tips: single parent unique tips lemma
 commit | commitdiff | tree
2012-04-18 Ian Jacksonunique tips: add to list of invariants
 commit | commitdiff | tree
2012-03-27 Ian Jacksonfix typo
 commit | commitdiff | tree
2012-03-27 Ian Jacksoncomments from mdw - fix incorrect refs to B in create tip
 commit | commitdiff | tree
2012-03-27 Ian Jacksoncomments from mdw - add note re universal quantification
 commit | commitdiff | tree
2012-03-27 Ian Jacksoncomments from mdw - add section on \set to notation
 commit | commitdiff | tree
2012-03-27 Ian Jacksoncomments from mdw - clarify that \p are disjoint by...
commit | commitdiff | tree
2012-03-26 Ian Jacksonclarify proof of calculation of ends
 commit | commitdiff | tree
2012-03-26 Ian Jacksonfix notation in calculation of ends
 commit | commitdiff | tree
2012-03-25 Ian Jacksonadd final.ps to default target
 commit | commitdiff | tree
2012-03-25 Ian Jacksonclarify merge complex D=C
 commit | commitdiff | tree
2012-03-25 Ian Jacksonget rid of a leftover spurious \neg[]
 commit | commitdiff | tree
2012-03-25 Ian Jacksonfix leftover \land
 commit | commitdiff | tree
2012-03-25 Ian Jacksoncommentary about exhaustiveness
 commit | commitdiff | tree
2012-03-25 Ian Jackson\nothaspatch with two slashes again as it's not equivalent...
commit | commitdiff | tree
2012-03-21 Ian Jacksonrefactor for coherence cases - merge
 commit | commitdiff | tree
2012-03-21 Ian Jacksonrefactor for coherence cases - simple, fix leftover ~
 commit | commitdiff | tree
2012-03-21 Ian Jacksonrefactor for coherence cases - anticommit
 commit | commitdiff | tree
2012-03-21 Ian Jacksonfix wrong symbols in simple
 commit | commitdiff | tree
2012-03-21 Ian Jacksonrefactor for coherence cases - simple, more
 commit | commitdiff | tree
2012-03-21 Ian Jacksonrefactor for coherence cases - simple
 commit | commitdiff | tree
2012-03-21 Ian Jacksonwip exclusive haspatch - clarify Merge Coherence (for...
commit | commitdiff | tree
2012-03-21 Ian Jacksonwip exclusive haspatch - fix Merge Coherence (for disagree)
 commit | commitdiff | tree
2012-03-21 Ian Jacksonwip exclusive haspatch - fix Merge Coherence (for both...
commit | commitdiff | tree
2012-03-21 Ian Jacksonwip exclusive haspatch - fix Anticommit
 commit | commitdiff | tree
2012-03-21 Ian Jacksonwip exclusive haspatch - fix Anticommit wip
 commit | commitdiff | tree
2012-03-21 Ian Jacksonwip exclusive haspatch - fix Create Tip
 commit | commitdiff | tree
2012-03-21 Ian Jacksonwip exclusive haspatch - fix Create Base
 commit | commitdiff | tree
2012-03-21 Ian Jacksonsimple - improve title cap
 commit | commitdiff | tree
2012-03-21 Ian Jacksonwip exclusive haspatch - fix Simple / Coherence
 commit | commitdiff | tree
2012-03-21 Ian Jacksonsimple commit fix P notation
 commit | commitdiff | tree
2012-03-21 Ian Jacksonwip exclusive haspatch - fix Commit Annotation
 commit | commitdiff | tree
2012-03-21 Ian Jacksonwip exclusive haspatch - fix Tip Own Contents
 commit | commitdiff | tree
2012-03-21 Ian Jacksonwip exclusive haspatch - change notation to F in defn
 commit | commitdiff | tree
2012-03-21 Ian Jacksonwip exclusive haspatch - reorder notation
 commit | commitdiff | tree
2012-03-20 Ian Jacksonwip exclusive haspatch - better kerning
 commit | commitdiff | tree
2012-03-20 Ian Jacksonwip exclusive haspatch - better symbol
 commit | commitdiff | tree
2012-03-20 Ian Jacksonwip exclusive haspatch - notation
 commit | commitdiff | tree
2012-03-18 Ian Jacksonswap L and R headers and footers, better for 2-up output...
commit | commitdiff | tree
2012-03-18 Ian Jacksonrevid - use "git foo" not "git-foo"
 commit | commitdiff | tree
2012-03-18 Ian Jacksonrevid - better deps
 commit | commitdiff | tree
2012-03-18 Ian Jacksonmake clean - remove *.ps
 commit | commitdiff | tree
2012-03-18 Ian Jacksonrevid - include
 commit | commitdiff | tree
2012-03-18 Ian Jacksonrevid - make more suitable for us
 commit | commitdiff | tree
2012-03-18 Ian Jackson.git-revid from my trains.git
 commit | commitdiff | tree
2012-03-18 Ian Jacksonmore sophisticated makefile (make once etc.)
 commit | commitdiff | tree
2012-03-18 Ian Jacksonmerge coherence complex - remove unneeded ref to def...
commit | commitdiff | tree
2012-03-18 Ian Jacksonmerge coherence complex - fix proof intro re haspatch...
commit | commitdiff | tree
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
next
Unnamed repository; edit this file 'description' to name the repository.