chiark
/
gitweb
/
~ian
/
topbloke-formulae.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
strategy: provide new \pc eg al
[topbloke-formulae.git]
/
article.tex
2012-04-24
Ian Jackson
strategy: provide new \pc eg al
blob
|
commitdiff
|
raw
2012-04-18
Ian Jackson
provide \bigexists
blob
|
commitdiff
|
raw
|
diff to current
2012-03-25
Ian Jackson
\nothaspatch with two slashes again as it's not equival...
blob
|
commitdiff
|
raw
|
diff to current
2012-03-20
Ian Jackson
wip exclusive haspatch - better kerning
blob
|
commitdiff
|
raw
|
diff to current
2012-03-20
Ian Jackson
wip exclusive haspatch - better symbol
blob
|
commitdiff
|
raw
|
diff to current
2012-03-20
Ian Jackson
wip exclusive haspatch - notation
blob
|
commitdiff
|
raw
|
diff to current
2012-03-18
Ian Jackson
swap L and R headers and footers, better for 2-up outpu...
blob
|
commitdiff
|
raw
|
diff to current
2012-03-18
Ian Jackson
revid - include
blob
|
commitdiff
|
raw
|
diff to current
2012-03-18
Ian Jackson
provide \pl etc.
blob
|
commitdiff
|
raw
|
diff to current
2012-03-16
Ian Jackson
split into multiple source files
blob
|
commitdiff
|
raw
|
diff to current
2012-03-16
Ian Jackson
remove a spurious \newpage
blob
|
commitdiff
|
raw
|
diff to current
2012-03-15
Ian Jackson
merge ends conditions change order of precondition...
blob
|
commitdiff
|
raw
|
diff to current
2012-03-15
Ian Jackson
wording improvement
blob
|
commitdiff
|
raw
|
diff to current
2012-03-15
Ian Jackson
mention that merge can be used for dependency reinsertion
blob
|
commitdiff
|
raw
|
diff to current
2012-03-15
Ian Jackson
Revert "rename anticommit section"
blob
|
commitdiff
|
raw
|
diff to current
2012-03-15
Ian Jackson
Revert all "wip dependency insertion"
blob
|
commitdiff
|
raw
|
diff to current
2012-03-14
Ian Jackson
wip dependency insertion
blob
|
commitdiff
|
raw
|
diff to current
2012-03-14
Ian Jackson
wip dependency insertion
blob
|
commitdiff
|
raw
|
diff to current
2012-03-14
Ian Jackson
wip dependency insertion
blob
|
commitdiff
|
raw
|
diff to current
2012-03-14
Ian Jackson
wip dependency insertion
blob
|
commitdiff
|
raw
|
diff to current
2012-03-14
Ian Jackson
wip dependency insertion
blob
|
commitdiff
|
raw
|
diff to current
2012-03-14
Ian Jackson
wip dependency insertion
blob
|
commitdiff
|
raw
|
diff to current
2012-03-14
Ian Jackson
wip dependency insertion
blob
|
commitdiff
|
raw
|
diff to current
2012-03-14
Ian Jackson
wip dependency insertion
blob
|
commitdiff
|
raw
|
diff to current
2012-03-14
Ian Jackson
rename anticommit section
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
more clarifications and fixes from reread
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
more clarifications and fixes from reread
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
more clarifications and fixes from reread
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
clarifications and fixes from reread
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
improve wording
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
improve wording
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
create base: remove ingredients condition
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
create base: strengthen create acyclic condition
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
formatting: a couple of extra [ ]
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
formatting: section headings on lh pages too
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
in simple commit rename parent from A to L
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
add purported proof of calculation of ends
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
fix calculation of ends formula
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
assert that exact ancestors is trivial
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
proof of alternative merge formulation
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
remove trailing ws
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
create tip
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
simple commit foreign inclusion use simple foreign...
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
introduce and use Totally Foreign Contents
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
wip create tip
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
add missing []
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
improve proof of create base inclusion
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
create tip wip
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
introduce macros \pq \pqy \pqn
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
create base rename cond to create acyclic
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
create base fix base acyclic and condition
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
wip create tip
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
todo list item
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
use Q not B as patch name in create base
blob
|
commitdiff
|
raw
|
diff to current
2012-03-12
Ian Jackson
rename Ingredients Prohibit Replay to Prevent
blob
|
commitdiff
|
raw
|
diff to current
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
next