chiark
/
gitweb
/
~ian
/
topbloke-formulae.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
merge: $\qed$ for Bases' Children
[topbloke-formulae.git]
/
article.tex
2013-08-10
Ian Jackson
strategy: define O^P^-
blob
|
commitdiff
|
raw
2013-08-10
Ian Jackson
pseudomerge: commentary about foreign apparently-pseudo...
blob
|
commitdiff
|
raw
|
diff to current
2013-08-04
Ian Jackson
formatting: use \pagestyle{fancyplain} so "plain" ...
blob
|
commitdiff
|
raw
|
diff to current
2013-08-04
Ian Jackson
notation: fixes from paper markup of 389264b
blob
|
commitdiff
|
raw
|
diff to current
2013-08-04
Ian Jackson
notation: clarify git merge notations
blob
|
commitdiff
|
raw
|
diff to current
2013-08-04
Ian Jackson
structure: add document end marker
blob
|
commitdiff
|
raw
|
diff to current
2012-07-14
Ian Jackson
strategy: introduce \condproof
blob
|
commitdiff
|
raw
|
diff to current
2012-07-14
Ian Jackson
strategy: rename trav-alg.tex to traversal.tex
blob
|
commitdiff
|
raw
|
diff to current
2012-07-14
Ian Jackson
strategy: move traversal proofs inline
blob
|
commitdiff
|
raw
|
diff to current
2012-07-14
Ian Jackson
strategy: wip reachable etc.
blob
|
commitdiff
|
raw
|
diff to current
2012-07-07
Ian Jackson
notation: strip word "merge" from \setmergeof etc....
blob
|
commitdiff
|
raw
|
diff to current
2012-07-07
Ian Jackson
internal notation: invent \commitmergename and use...
blob
|
commitdiff
|
raw
|
diff to current
2012-07-07
Ian Jackson
notation: define \stmtmergeof and \setmergeof
blob
|
commitdiff
|
raw
|
diff to current
2012-07-07
Ian Jackson
internal notation: break out \mergeof
blob
|
commitdiff
|
raw
|
diff to current
2012-07-07
Ian Jackson
internal notation: rename \merge and \mergeof to \commi...
blob
|
commitdiff
|
raw
|
diff to current
2012-05-28
Ian Jackson
new macro \statement (for \[\eqn{...}{...}\] - many...
blob
|
commitdiff
|
raw
|
diff to current
2012-05-28
Ian Jackson
strategy notation: introduce \allsrcs
blob
|
commitdiff
|
raw
|
diff to current
2012-05-27
Ian Jackson
strategy: split into more files
blob
|
commitdiff
|
raw
|
diff to current
2012-05-27
Ian Jackson
foreign notation: make \foreign into a set
blob
|
commitdiff
|
raw
|
diff to current
2012-05-27
Ian Jackson
foreign notation: introduce \isforeign
blob
|
commitdiff
|
raw
|
diff to current
2012-05-27
Ian Jackson
foreign notation: change \bot to \foreign everywhere
blob
|
commitdiff
|
raw
|
diff to current
2012-05-27
Ian Jackson
psuedomerge: initial version
blob
|
commitdiff
|
raw
|
diff to current
2012-05-27
Ian Jackson
strategy: notation: change D(K) to G(K)
blob
|
commitdiff
|
raw
|
diff to current
2012-05-27
Ian Jackson
strategy: replace old \tip... macros
blob
|
commitdiff
|
raw
|
diff to current
2012-05-27
Ian Jackson
notation: \hasdirdep
blob
|
commitdiff
|
raw
|
diff to current
2012-05-27
Ian Jackson
strategy: notation: setmerge -> merge
blob
|
commitdiff
|
raw
|
diff to current
2012-05-27
Ian Jackson
strategy: notation: setmergeof
blob
|
commitdiff
|
raw
|
diff to current
2012-05-27
Ian Jackson
strategy: notation: add \alg
blob
|
commitdiff
|
raw
|
diff to current
2012-05-27
Ian Jackson
strategy: new, wip, notational fixes
blob
|
commitdiff
|
raw
|
diff to current
2012-05-13
Ian Jackson
strategy: new, wip
blob
|
commitdiff
|
raw
|
diff to current
2012-05-12
Ian Jackson
strategy: new, wip
blob
|
commitdiff
|
raw
|
diff to current
2012-05-11
Ian Jackson
strategy: new, wip
blob
|
commitdiff
|
raw
|
diff to current
2012-05-01
Ian Jackson
strategy: wip
blob
|
commitdiff
|
raw
|
diff to current
2012-04-27
Ian Jackson
strategy: rename \gref macros: perl -i~ -pe 's/gref...
blob
|
commitdiff
|
raw
|
diff to current
2012-04-27
Ian Jackson
strategy: wip
blob
|
commitdiff
|
raw
|
diff to current
2012-04-27
Ian Jackson
strategy: wip, notation changes, finished planning...
blob
|
commitdiff
|
raw
|
diff to current
2012-04-27
Ian Jackson
notation: change >_1 to >_1: so we can define \succ_1...
blob
|
commitdiff
|
raw
|
diff to current
2012-04-27
Ian Jackson
strategy: use \chapter
blob
|
commitdiff
|
raw
|
diff to current
2012-04-24
Ian Jackson
strategy: wip
blob
|
commitdiff
|
raw
|
diff to current
2012-04-24
Ian Jackson
strategy: provide new \pc eg al
blob
|
commitdiff
|
raw
|
diff to current
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
next