chiark
/
gitweb
/
~ian
/
topbloke-formulae.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
simple commit unique base clarification
[topbloke-formulae.git]
/
article.tex
2012-03-11
Ian Jackson
simple commit unique base clarification
blob
|
commitdiff
|
raw
2012-03-11
Ian Jackson
annotation calculation
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
fix up some lemmas re ends
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
a todo item
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
anticommit foreign inclusion
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
a todo item
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
wip anticommit foreign inclusion
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
merge reference to no replay fix ref to be more regular
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
anticommit make note re merge base vs merge rhs ordering
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
anticommit - split out ordering
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
merge coherence use two implies in statement since...
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
anticommit coherence
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
anticommit rename From Base to Into Base
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
anticommit base acyclic
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
strengthen anticommit condition to From Base
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
merge foreign inclusion
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
move alternative formulation of merge results into...
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
Prove that plain git merges on non-tb branches are ok
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
Mention that simple commit justification applies to...
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
clarify text re non-tb flattened re-inclusion
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
merge wip
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
merge tip contents done
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
merge tip contentss: clarify arbitrariness of D
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
capitalise a few names
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
merge remove redundant element in condition
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
wip merge tip contents
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
some alternative formulations of \merge
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
add definition of \nequiv. \not\equiv still does not...
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
wip merge tip contents
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
wip merge tip contents
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
wip merge tip contents
blob
|
commitdiff
|
raw
|
diff to current
2012-03-08
Ian Jackson
wip merge tip contents
blob
|
commitdiff
|
raw
|
diff to current
2012-03-08
Ian Jackson
wip merge tip contents
blob
|
commitdiff
|
raw
|
diff to current
2012-03-08
Ian Jackson
merge base acyclic (and condition)
blob
|
commitdiff
|
raw
|
diff to current
2012-03-08
Ian Jackson
clarify P sets none overlap
blob
|
commitdiff
|
raw
|
diff to current
2012-03-08
Ian Jackson
wip merge tip contents
blob
|
commitdiff
|
raw
|
diff to current
2012-03-08
Ian Jackson
rename exclusive tip contents corollary
blob
|
commitdiff
|
raw
|
diff to current
2012-03-08
Ian Jackson
merge complex done
blob
|
commitdiff
|
raw
|
diff to current
2012-03-08
Ian Jackson
wip merge complex - reformulate merge ends conditions
blob
|
commitdiff
|
raw
|
diff to current
2012-03-08
Ian Jackson
merge ends condition - change condition to one that...
blob
|
commitdiff
|
raw
|
diff to current
2012-03-08
Ian Jackson
wip merge complex - final case?
blob
|
commitdiff
|
raw
|
diff to current
2012-03-08
Ian Jackson
wip merge complex - fix bug, improve merge ends condition
blob
|
commitdiff
|
raw
|
diff to current
2012-03-08
Ian Jackson
wip merge complex - a bug
blob
|
commitdiff
|
raw
|
diff to current
2012-03-08
Ian Jackson
wip merge complex
blob
|
commitdiff
|
raw
|
diff to current
2012-03-08
Ian Jackson
improve merge ends formatting
blob
|
commitdiff
|
raw
|
diff to current
2012-03-08
Ian Jackson
wip merge complex - C = D
blob
|
commitdiff
|
raw
|
diff to current
2012-03-08
Ian Jackson
wip merge complex - a fix
blob
|
commitdiff
|
raw
|
diff to current
2012-03-06
Ian Jackson
wip merge complex
blob
|
commitdiff
|
raw
|
diff to current
2012-03-06
Ian Jackson
wip merge complex
blob
|
commitdiff
|
raw
|
diff to current
2012-03-06
Ian Jackson
use \p rather than just P
blob
|
commitdiff
|
raw
|
diff to current
2012-03-06
Ian Jackson
wip merge complex
blob
|
commitdiff
|
raw
|
diff to current
2012-03-06
Ian Jackson
move merge X and Y def up
blob
|
commitdiff
|
raw
|
diff to current
2012-03-06
Ian Jackson
tiny clarification
blob
|
commitdiff
|
raw
|
diff to current
2012-03-06
Ian Jackson
introduce \proofstarts
blob
|
commitdiff
|
raw
|
diff to current
2012-03-06
Ian Jackson
wip merge content
blob
|
commitdiff
|
raw
|
diff to current
2012-03-06
Ian Jackson
add some xxx's
blob
|
commitdiff
|
raw
|
diff to current
2012-03-06
Ian Jackson
anticommit desired contents
blob
|
commitdiff
|
raw
|
diff to current
2012-03-06
Ian Jackson
Rename \merge to \mergeof so we can have \merge
blob
|
commitdiff
|
raw
|
diff to current
2012-03-06
Ian Jackson
provide \nge and \nle (which \not uses)
blob
|
commitdiff
|
raw
|
diff to current
2012-03-06
Ian Jackson
wip anticommit desired contents
blob
|
commitdiff
|
raw
|
diff to current
2012-03-05
Ian Jackson
formatting fix
blob
|
commitdiff
|
raw
|
diff to current
2012-03-05
Ian Jackson
fix title etc. in merge use of no replay
blob
|
commitdiff
|
raw
|
diff to current
2012-03-05
Ian Jackson
wip anticommit
blob
|
commitdiff
|
raw
|
diff to current
2012-03-05
Ian Jackson
improve "no replay for merge results" (correct conditio...
blob
|
commitdiff
|
raw
|
diff to current
2012-03-05
Ian Jackson
provide \base and \patch
blob
|
commitdiff
|
raw
|
diff to current
2012-03-05
Ian Jackson
No Replay for Merge Results
blob
|
commitdiff
|
raw
|
diff to current
2012-03-05
Ian Jackson
wip anticommit; use \merge
blob
|
commitdiff
|
raw
|
diff to current
2012-03-05
Ian Jackson
define \merge and add it to notation section
blob
|
commitdiff
|
raw
|
diff to current
2012-03-05
Ian Jackson
wip experiment merge
blob
|
commitdiff
|
raw
|
diff to current
2012-03-05
Ian Jackson
wip anticommit
blob
|
commitdiff
|
raw
|
diff to current
2012-03-05
Ian Jackson
finish merge unique base (we think)
blob
|
commitdiff
|
raw
|
diff to current
2012-03-05
Ian Jackson
wip merge
blob
|
commitdiff
|
raw
|
diff to current
2012-03-05
Ian Jackson
wip merge
blob
|
commitdiff
|
raw
|
diff to current
2012-03-04
Ian Jackson
heading for other side
blob
|
commitdiff
|
raw
|
diff to current
2012-03-04
Ian Jackson
fix a typo
blob
|
commitdiff
|
raw
|
diff to current
2012-03-04
Ian Jackson
a possible bug
blob
|
commitdiff
|
raw
|
diff to current
2012-03-04
Ian Jackson
increase \errorcontextlines
blob
|
commitdiff
|
raw
|
diff to current
2012-03-04
Ian Jackson
add some missing { } around macro args
blob
|
commitdiff
|
raw
|
diff to current
2012-03-04
Ian Jackson
subsubsection hyperref font problems: try exciting...
blob
|
commitdiff
|
raw
|
diff to current
2012-03-03
Ian Jackson
demo problem test case
blob
|
commitdiff
|
raw
|
diff to current
2012-03-03
Ian Jackson
add FIXME because \py seems to cause barf in \subsubsection
blob
|
commitdiff
|
raw
|
diff to current
2012-03-02
Ian Jackson
wip merge unique base
blob
|
commitdiff
|
raw
|
diff to current
2012-03-02
Ian Jackson
wip merge unique base
blob
|
commitdiff
|
raw
|
diff to current
2012-03-02
Ian Jackson
lemma calculation of ends, no proof yet
blob
|
commitdiff
|
raw
|
diff to current
2012-03-02
Ian Jackson
clarify by swapping two vars
blob
|
commitdiff
|
raw
|
diff to current
2012-03-02
Ian Jackson
Largeexists
blob
|
commitdiff
|
raw
|
diff to current
2012-03-02
Ian Jackson
merge no replay
blob
|
commitdiff
|
raw
|
diff to current
2012-03-02
Ian Jackson
wip merge
blob
|
commitdiff
|
raw
|
diff to current
2012-03-02
Ian Jackson
wip merge before rejoin tip merge condition
blob
|
commitdiff
|
raw
|
diff to current
2012-03-02
Ian Jackson
wip merge
blob
|
commitdiff
|
raw
|
diff to current
2012-03-02
Ian Jackson
macros \true and \false
blob
|
commitdiff
|
raw
|
diff to current
2012-03-01
Ian Jackson
remove symbol test section
blob
|
commitdiff
|
raw
|
diff to current
2012-03-01
Ian Jackson
simple commits
blob
|
commitdiff
|
raw
|
diff to current
2012-03-01
Ian Jackson
a wrapper for gather
blob
|
commitdiff
|
raw
|
diff to current
2012-03-01
Ian Jackson
wip
blob
|
commitdiff
|
raw
|
diff to current
2012-03-01
Ian Jackson
fixes
blob
|
commitdiff
|
raw
|
diff to current
2012-03-01
Ian Jackson
ends, work, etc.
blob
|
commitdiff
|
raw
|
diff to current
2012-03-01
Ian Jackson
more lemmas
blob
|
commitdiff
|
raw
|
diff to current
2012-03-01
Ian Jackson
work
blob
|
commitdiff
|
raw
|
diff to current
2012-03-01
Ian Jackson
mdw's bigforall
blob
|
commitdiff
|
raw
|
diff to current
next