chiark
/
gitweb
/
~ian
/
topbloke-formulae.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
internal notation: rename \merge and \mergeof to \commitmerge and \commitmergeof...
[topbloke-formulae.git]
/
article.tex
2012-07-07
Ian Jackson
internal notation: rename \merge and \mergeof to \commi...
blob
|
commitdiff
|
raw
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
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
next