| 2012-05-27 |
Ian Jackson | strategy: notation: add \alg
|
commit | commitdiff | tree |
| 2012-05-27 |
Ian Jackson | strategy: new, wip, notational fixes
|
commit | commitdiff | tree |
| 2012-05-27 |
Ian Jackson | strategy: new, wip, notational fixes
|
commit | commitdiff | tree |
| 2012-05-27 |
Ian Jackson | strategy: new, wip, found
|
commit | commitdiff | tree |
| 2012-05-13 |
Ian Jackson | strategy: new, wip
|
commit | commitdiff | tree |
| 2012-05-12 |
Ian Jackson | strategy: new, wip
|
commit | commitdiff | tree |
| 2012-05-11 |
Ian Jackson | strategy: new, wip
|
commit | commitdiff | tree |
| 2012-05-11 |
Ian Jackson | strategy: new, wip
|
commit | commitdiff | tree |
| 2012-05-11 |
Ian Jackson | strategy: new, wip
|
commit | commitdiff | tree |
| 2012-05-01 |
Ian Jackson | strategy: wip
|
commit | commitdiff | tree |
| 2012-04-30 |
Ian Jackson | strategy: wip
|
commit | commitdiff | tree |
| 2012-04-29 |
Ian Jackson | strategy: wip
|
commit | commitdiff | tree |
| 2012-04-29 |
Ian Jackson | strategy: wip
|
commit | commitdiff | tree |
| 2012-04-29 |
Ian Jackson | strategy: wip
|
commit | commitdiff | tree |
| 2012-04-27 |
Ian Jackson | strategy: wip
|
commit | commitdiff | tree |
| 2012-04-27 |
Ian Jackson | strategy: rename \gref macros: perl -i~ -pe 's/gref...
|
commit | commitdiff | tree |
| 2012-04-27 |
Ian Jackson | strategy: wip
|
commit | commitdiff | tree |
| 2012-04-27 |
Ian Jackson | strategy: wip
|
commit | commitdiff | tree |
| 2012-04-27 |
Ian Jackson | strategy: wip
|
commit | commitdiff | tree |
| 2012-04-27 |
Ian Jackson | invariants: remove some slightly ugly colons
|
commit | commitdiff | tree |
| 2012-04-27 |
Ian Jackson | strategy: wip, notation changes, finished planning...
|
commit | commitdiff | tree |
| 2012-04-27 |
Ian Jackson | notation: change >_1 to >_1: so we can define \succ_1...
|
commit | commitdiff | tree |
| 2012-04-27 |
Ian Jackson | strategy: use \chapter
|
commit | commitdiff | tree |
| 2012-04-26 |
Ian Jackson | strategy: wip
|
commit | commitdiff | tree |
| 2012-04-25 |
Ian Jackson | strategy: wip
|
commit | commitdiff | tree |
| 2012-04-25 |
Ian Jackson | strategy: wip
|
commit | commitdiff | tree |
| 2012-04-24 |
Ian Jackson | strategy: wip
|
commit | commitdiff | tree |
| 2012-04-24 |
Ian Jackson | strategy: provide new \pc eg al
|
commit | commitdiff | tree |
| 2012-04-18 |
Ian Jackson | merge: fix dependency reinsertion blurb to mention...
|
commit | commitdiff | tree |
| 2012-04-18 |
Ian Jackson | unique tips: rename anticommit condition Unique Tip...
|
commit | commitdiff | tree |
| 2012-04-18 |
Ian Jackson | unique tips: fix various \pendsof and \pancsof to refer...
|
commit | commitdiff | tree |
| 2012-04-18 |
Ian Jackson | unique tips: add condition and prove, for merge
|
commit | commitdiff | tree |
| 2012-04-18 |
Ian Jackson | provide \bigexists
|
commit | commitdiff | tree |
| 2012-04-18 |
Ian Jackson | unique tips: single parent unique tips applies to anticommit too
|
commit | commitdiff | tree |
| 2012-04-18 |
Ian Jackson | unique tips: single parent unique tips use cases
|
commit | commitdiff | tree |
| 2012-04-18 |
Ian Jackson | unique tips: single parent unique tips lemma
|
commit | commitdiff | tree |
| 2012-04-18 |
Ian Jackson | unique tips: add to list of invariants
|
commit | commitdiff | tree |
| 2012-03-27 |
Ian Jackson | fix typo
|
commit | commitdiff | tree |
| 2012-03-27 |
Ian Jackson | comments from mdw - fix incorrect refs to B in create tip
|
commit | commitdiff | tree |
| 2012-03-27 |
Ian Jackson | comments from mdw - add note re universal quantification
|
commit | commitdiff | tree |
| 2012-03-27 |
Ian Jackson | comments from mdw - add section on \set to notation
|
commit | commitdiff | tree |
| 2012-03-27 |
Ian Jackson | comments from mdw - clarify that \p are disjoint by...
|
commit | commitdiff | tree |
| 2012-03-26 |
Ian Jackson | clarify proof of calculation of ends
|
commit | commitdiff | tree |
| 2012-03-26 |
Ian Jackson | fix notation in calculation of ends
|
commit | commitdiff | tree |
| 2012-03-25 |
Ian Jackson | add final.ps to default target
|
commit | commitdiff | tree |
| 2012-03-25 |
Ian Jackson | clarify merge complex D=C
|
commit | commitdiff | tree |
| 2012-03-25 |
Ian Jackson | get rid of a leftover spurious \neg[]
|
commit | commitdiff | tree |
| 2012-03-25 |
Ian Jackson | fix leftover \land
|
commit | commitdiff | tree |
| 2012-03-25 |
Ian Jackson | commentary 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 Jackson | refactor for coherence cases - merge
|
commit | commitdiff | tree |
| 2012-03-21 |
Ian Jackson | refactor for coherence cases - simple, fix leftover ~
|
commit | commitdiff | tree |
| 2012-03-21 |
Ian Jackson | refactor for coherence cases - anticommit
|
commit | commitdiff | tree |
| 2012-03-21 |
Ian Jackson | fix wrong symbols in simple
|
commit | commitdiff | tree |
| 2012-03-21 |
Ian Jackson | refactor for coherence cases - simple, more
|
commit | commitdiff | tree |
| 2012-03-21 |
Ian Jackson | refactor for coherence cases - simple
|
commit | commitdiff | tree |
| 2012-03-21 |
Ian Jackson | wip exclusive haspatch - clarify Merge Coherence (for...
|
commit | commitdiff | tree |
| 2012-03-21 |
Ian Jackson | wip exclusive haspatch - fix Merge Coherence (for disagree)
|
commit | commitdiff | tree |
| 2012-03-21 |
Ian Jackson | wip exclusive haspatch - fix Merge Coherence (for both...
|
commit | commitdiff | tree |
| 2012-03-21 |
Ian Jackson | wip exclusive haspatch - fix Anticommit
|
commit | commitdiff | tree |
| 2012-03-21 |
Ian Jackson | wip exclusive haspatch - fix Anticommit wip
|
commit | commitdiff | tree |
| 2012-03-21 |
Ian Jackson | wip exclusive haspatch - fix Create Tip
|
commit | commitdiff | tree |
| 2012-03-21 |
Ian Jackson | wip exclusive haspatch - fix Create Base
|
commit | commitdiff | tree |
| 2012-03-21 |
Ian Jackson | simple - improve title cap
|
commit | commitdiff | tree |
| 2012-03-21 |
Ian Jackson | wip exclusive haspatch - fix Simple / Coherence
|
commit | commitdiff | tree |
| 2012-03-21 |
Ian Jackson | simple commit fix P notation
|
commit | commitdiff | tree |
| 2012-03-21 |
Ian Jackson | wip exclusive haspatch - fix Commit Annotation
|
commit | commitdiff | tree |
| 2012-03-21 |
Ian Jackson | wip exclusive haspatch - fix Tip Own Contents
|
commit | commitdiff | tree |
| 2012-03-21 |
Ian Jackson | wip exclusive haspatch - change notation to F in defn
|
commit | commitdiff | tree |
| 2012-03-21 |
Ian Jackson | wip exclusive haspatch - reorder notation
|
commit | commitdiff | tree |
| 2012-03-20 |
Ian Jackson | wip exclusive haspatch - better kerning
|
commit | commitdiff | tree |
| 2012-03-20 |
Ian Jackson | wip exclusive haspatch - better symbol
|
commit | commitdiff | tree |
| 2012-03-20 |
Ian Jackson | wip exclusive haspatch - notation
|
commit | commitdiff | tree |
| 2012-03-18 |
Ian Jackson | swap L and R headers and footers, better for 2-up output...
|
commit | commitdiff | tree |
| 2012-03-18 |
Ian Jackson | revid - use "git foo" not "git-foo"
|
commit | commitdiff | tree |
| 2012-03-18 |
Ian Jackson | revid - better deps
|
commit | commitdiff | tree |
| 2012-03-18 |
Ian Jackson | make clean - remove *.ps
|
commit | commitdiff | tree |
| 2012-03-18 |
Ian Jackson | revid - include
|
commit | commitdiff | tree |
| 2012-03-18 |
Ian Jackson | revid - 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 Jackson | more sophisticated makefile (make once etc.)
|
commit | commitdiff | tree |
| 2012-03-18 |
Ian Jackson | merge coherence complex - remove unneeded ref to def...
|
commit | commitdiff | tree |
| 2012-03-18 |
Ian Jackson | merge coherence complex - fix proof intro re haspatch...
|
commit | commitdiff | tree |
| 2012-03-18 |
Ian Jackson | fix non-topbloke merges empty ends proof
|
commit | commitdiff | tree |
| 2012-03-18 |
Ian Jackson | rationalise patch notation names - anticommit
|
commit | commitdiff | tree |
| 2012-03-18 |
Ian Jackson | provide \pl etc.
|
commit | commitdiff | tree |
| 2012-03-18 |
Ian Jackson | rationalise patch notation names - annotations
|
commit | commitdiff | tree |
| 2012-03-16 |
Ian Jackson | rename Tip Self Contents -> Tip Own Contents
|
commit | commitdiff | tree |
| 2012-03-16 |
Ian Jackson | rename Tip Self Inpatch -> Tip Self Contents
|
commit | commitdiff | tree |
| 2012-03-16 |
Ian Jackson | small fixes
|
commit | commitdiff | tree |
| 2012-03-16 |
Ian Jackson | non-topbloke merges fix merge ends proof
|
commit | commitdiff | tree |
| 2012-03-16 |
Ian Jackson | be more rigorous about conformance
|
commit | commitdiff | tree |
| 2012-03-16 |
Ian Jackson | add note about non-exclusivity of \haspatch and \nothaspatch
|
commit | commitdiff | tree |
| 2012-03-16 |
Ian Jackson | use new extended Self Tip Inpatch
|
commit | commitdiff | tree |
| 2012-03-16 |
Ian Jackson | extend Self Tip Inpatch
|
commit | commitdiff | tree |
| 2012-03-16 |
Ian Jackson | remove a couple of spurious $\qed$
|
commit | commitdiff | tree |
| 2012-03-16 |
Ian Jackson | remove spurious .
|
commit | commitdiff | tree |
| 2012-03-16 |
Ian Jackson | merge fixes/clarifications - clarify and fix tip contents...
|
commit | commitdiff | tree |
| 2012-03-16 |
Ian Jackson | merge fixes/clarifications - clarify tip contents R...
|
commit | commitdiff | tree |
| 2012-03-16 |
Ian Jackson | merge fixes/clarifications - sort out complex case...
|
commit | commitdiff | tree |
| next |
~ian / topbloke-formulae.git / search