chiark
/
gitweb
/
~ian
/
topbloke-formulae.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
rename Ingredients Prohibit Replay to Prevent
[topbloke-formulae.git]
/
article.tex
2012-03-12
Ian Jackson
rename Ingredients Prohibit Replay to Prevent
blob
|
commitdiff
|
raw
2012-03-12
Ian Jackson
replace various no replay with Ingredients Prohibit...
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
rename merge Ordering of L... to Ordering of Ingredients
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
create base foreign contents
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
change Not Applicable [] to Not Applicable
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
create base foreign inclusion
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
wip create base
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
create base coherence fix title
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
create base fix def
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
prove and use totally foreign contents
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
fix some headings
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
formalise foreign merges
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
Foreign Contents section in a couple of places
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
new foreign contents restriction
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
fix a section => subsection
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
fix create tip tbd
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
wip create base
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
merge conditions into conditions
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
anticommit clarify note re ingredient order
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
anticommit conditions into conditions
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
wip creates
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
formatting move/add some qeds
blob
|
commitdiff
|
raw
|
diff to current
2012-03-11
Ian Jackson
simple commit unique base clarification
blob
|
commitdiff
|
raw
|
diff to current
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
next