chiark
/
gitweb
/
~ian
/
topbloke-formulae.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
strategy: define W in Notation
[topbloke-formulae.git]
/ article.tex
2013-08-10
Ian Jackson
strategy: define O^P^-
commit
|
commitdiff
2013-08-10
Ian Jackson
pseudomerge: commentary about foreign apparently-pseudo...
commit
|
commitdiff
2013-08-04
Ian Jackson
formatting: use \pagestyle{fancyplain} so "plain" ...
commit
|
commitdiff
2013-08-04
Ian Jackson
notation: fixes from paper markup of 389264b
commit
|
commitdiff
2013-08-04
Ian Jackson
notation: clarify git merge notations
commit
|
commitdiff
2013-08-04
Ian Jackson
structure: add document end marker
commit
|
commitdiff
2012-07-14
Ian Jackson
strategy: introduce \condproof
commit
|
commitdiff
2012-07-14
Ian Jackson
strategy: rename trav-alg.tex to traversal.tex
commit
|
commitdiff
2012-07-14
Ian Jackson
strategy: move traversal proofs inline
commit
|
commitdiff
2012-07-14
Ian Jackson
strategy: wip reachable etc.
commit
|
commitdiff
2012-07-07
Ian Jackson
notation: strip word "merge" from \setmergeof etc....
commit
|
commitdiff
2012-07-07
Ian Jackson
internal notation: invent \commitmergename and use...
commit
|
commitdiff
2012-07-07
Ian Jackson
notation: define \stmtmergeof and \setmergeof
commit
|
commitdiff
2012-07-07
Ian Jackson
internal notation: break out \mergeof
commit
|
commitdiff
2012-07-07
Ian Jackson
internal notation: rename \merge and \mergeof to \commi...
commit
|
commitdiff
2012-05-28
Ian Jackson
new macro \statement (for \[\eqn{...}{...}\] - many...
commit
|
commitdiff
2012-05-28
Ian Jackson
strategy notation: introduce \allsrcs
commit
|
commitdiff
2012-05-27
Ian Jackson
strategy: split into more files
commit
|
commitdiff
2012-05-27
Ian Jackson
foreign notation: make \foreign into a set
commit
|
commitdiff
2012-05-27
Ian Jackson
foreign notation: introduce \isforeign
commit
|
commitdiff
2012-05-27
Ian Jackson
foreign notation: change \bot to \foreign everywhere
commit
|
commitdiff
2012-05-27
Ian Jackson
psuedomerge: initial version
commit
|
commitdiff
2012-05-27
Ian Jackson
strategy: notation: change D(K) to G(K)
commit
|
commitdiff
2012-05-27
Ian Jackson
strategy: replace old \tip... macros
commit
|
commitdiff
2012-05-27
Ian Jackson
notation: \hasdirdep
commit
|
commitdiff
2012-05-27
Ian Jackson
strategy: notation: setmerge -> merge
commit
|
commitdiff
2012-05-27
Ian Jackson
strategy: notation: setmergeof
commit
|
commitdiff
2012-05-27
Ian Jackson
strategy: notation: add \alg
commit
|
commitdiff
2012-05-27
Ian Jackson
strategy: new, wip, notational fixes
commit
|
commitdiff
2012-05-13
Ian Jackson
strategy: new, wip
commit
|
commitdiff
2012-05-12
Ian Jackson
strategy: new, wip
commit
|
commitdiff
2012-05-11
Ian Jackson
strategy: new, wip
commit
|
commitdiff
2012-05-01
Ian Jackson
strategy: wip
commit
|
commitdiff
2012-04-27
Ian Jackson
strategy: rename \gref macros: perl -i~ -pe 's/gref...
commit
|
commitdiff
2012-04-27
Ian Jackson
strategy: wip
commit
|
commitdiff
2012-04-27
Ian Jackson
strategy: wip, notation changes, finished planning...
commit
|
commitdiff
2012-04-27
Ian Jackson
notation: change >_1 to >_1: so we can define \succ_1...
commit
|
commitdiff
2012-04-27
Ian Jackson
strategy: use \chapter
commit
|
commitdiff
2012-04-24
Ian Jackson
strategy: wip
commit
|
commitdiff
2012-04-24
Ian Jackson
strategy: provide new \pc eg al
commit
|
commitdiff
2012-04-18
Ian Jackson
provide \bigexists
commit
|
commitdiff
2012-03-25
Ian Jackson
\nothaspatch with two slashes again as it's not equival...
commit
|
commitdiff
2012-03-20
Ian Jackson
wip exclusive haspatch - better kerning
commit
|
commitdiff
2012-03-20
Ian Jackson
wip exclusive haspatch - better symbol
commit
|
commitdiff
2012-03-20
Ian Jackson
wip exclusive haspatch - notation
commit
|
commitdiff
2012-03-18
Ian Jackson
swap L and R headers and footers, better for 2-up outpu...
commit
|
commitdiff
2012-03-18
Ian Jackson
revid - include
commit
|
commitdiff
2012-03-18
Ian Jackson
provide \pl etc.
commit
|
commitdiff
2012-03-16
Ian Jackson
split into multiple source files
commit
|
commitdiff
2012-03-16
Ian Jackson
remove a spurious \newpage
commit
|
commitdiff
2012-03-15
Ian Jackson
merge ends conditions change order of precondition...
commit
|
commitdiff
2012-03-15
Ian Jackson
wording improvement
commit
|
commitdiff
2012-03-15
Ian Jackson
mention that merge can be used for dependency reinsertion
commit
|
commitdiff
2012-03-15
Ian Jackson
Revert "rename anticommit section"
commit
|
commitdiff
2012-03-15
Ian Jackson
Revert all "wip dependency insertion"
commit
|
commitdiff
2012-03-14
Ian Jackson
wip dependency insertion
commit
|
commitdiff
2012-03-14
Ian Jackson
wip dependency insertion
commit
|
commitdiff
2012-03-14
Ian Jackson
wip dependency insertion
commit
|
commitdiff
2012-03-14
Ian Jackson
wip dependency insertion
commit
|
commitdiff
2012-03-14
Ian Jackson
wip dependency insertion
commit
|
commitdiff
2012-03-14
Ian Jackson
wip dependency insertion
commit
|
commitdiff
2012-03-14
Ian Jackson
wip dependency insertion
commit
|
commitdiff
2012-03-14
Ian Jackson
wip dependency insertion
commit
|
commitdiff
2012-03-14
Ian Jackson
rename anticommit section
commit
|
commitdiff
2012-03-12
Ian Jackson
more clarifications and fixes from reread
commit
|
commitdiff
2012-03-12
Ian Jackson
more clarifications and fixes from reread
commit
|
commitdiff
2012-03-12
Ian Jackson
more clarifications and fixes from reread
commit
|
commitdiff
2012-03-12
Ian Jackson
clarifications and fixes from reread
commit
|
commitdiff
2012-03-12
Ian Jackson
improve wording
commit
|
commitdiff
2012-03-12
Ian Jackson
improve wording
commit
|
commitdiff
2012-03-12
Ian Jackson
create base: remove ingredients condition
commit
|
commitdiff
2012-03-12
Ian Jackson
create base: strengthen create acyclic condition
commit
|
commitdiff
2012-03-12
Ian Jackson
formatting: a couple of extra [ ]
commit
|
commitdiff
2012-03-12
Ian Jackson
formatting: section headings on lh pages too
commit
|
commitdiff
2012-03-12
Ian Jackson
in simple commit rename parent from A to L
commit
|
commitdiff
2012-03-12
Ian Jackson
add purported proof of calculation of ends
commit
|
commitdiff
2012-03-12
Ian Jackson
fix calculation of ends formula
commit
|
commitdiff
2012-03-12
Ian Jackson
assert that exact ancestors is trivial
commit
|
commitdiff
2012-03-12
Ian Jackson
proof of alternative merge formulation
commit
|
commitdiff
2012-03-12
Ian Jackson
remove trailing ws
commit
|
commitdiff
2012-03-12
Ian Jackson
create tip
commit
|
commitdiff
2012-03-12
Ian Jackson
simple commit foreign inclusion use simple foreign...
commit
|
commitdiff
2012-03-12
Ian Jackson
introduce and use Totally Foreign Contents
commit
|
commitdiff
2012-03-12
Ian Jackson
wip create tip
commit
|
commitdiff
2012-03-12
Ian Jackson
add missing []
commit
|
commitdiff
2012-03-12
Ian Jackson
improve proof of create base inclusion
commit
|
commitdiff
2012-03-12
Ian Jackson
create tip wip
commit
|
commitdiff
2012-03-12
Ian Jackson
introduce macros \pq \pqy \pqn
commit
|
commitdiff
2012-03-12
Ian Jackson
create base rename cond to create acyclic
commit
|
commitdiff
2012-03-12
Ian Jackson
create base fix base acyclic and condition
commit
|
commitdiff
2012-03-12
Ian Jackson
wip create tip
commit
|
commitdiff
2012-03-12
Ian Jackson
todo list item
commit
|
commitdiff
2012-03-12
Ian Jackson
use Q not B as patch name in create base
commit
|
commitdiff
2012-03-12
Ian Jackson
rename Ingredients Prohibit Replay to Prevent
commit
|
commitdiff
2012-03-12
Ian Jackson
replace various no replay with Ingredients Prohibit...
commit
|
commitdiff
2012-03-12
Ian Jackson
rename merge Ordering of L... to Ordering of Ingredients
commit
|
commitdiff
2012-03-12
Ian Jackson
create base foreign contents
commit
|
commitdiff
2012-03-12
Ian Jackson
change Not Applicable [] to Not Applicable
commit
|
commitdiff
2012-03-12
Ian Jackson
create base foreign inclusion
commit
|
commitdiff
2012-03-12
Ian Jackson
wip create base
commit
|
commitdiff
next