chiark
/
gitweb
/
~ian
/
topbloke-formulae.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅ next
improve wording
[topbloke-formulae.git]
/
article.tex
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
2012-03-04
Ian Jackson
subsubsection hyperref font problems: try exciting...
blob
|
commitdiff
|
raw
|
diff to current
2012-03-03
Ian Jackson
demo problem test case
blob
|
commitdiff
|
raw
|
diff to current
2012-03-03
Ian Jackson
add FIXME because \py seems to cause barf in \subsubsection
blob
|
commitdiff
|
raw
|
diff to current
2012-03-02
Ian Jackson
wip merge unique base
blob
|
commitdiff
|
raw
|
diff to current
2012-03-02
Ian Jackson
wip merge unique base
blob
|
commitdiff
|
raw
|
diff to current
2012-03-02
Ian Jackson
lemma calculation of ends, no proof yet
blob
|
commitdiff
|
raw
|
diff to current
2012-03-02
Ian Jackson
clarify by swapping two vars
blob
|
commitdiff
|
raw
|
diff to current
2012-03-02
Ian Jackson
Largeexists
blob
|
commitdiff
|
raw
|
diff to current
2012-03-02
Ian Jackson
merge no replay
blob
|
commitdiff
|
raw
|
diff to current
2012-03-02
Ian Jackson
wip merge
blob
|
commitdiff
|
raw
|
diff to current
2012-03-02
Ian Jackson
wip merge before rejoin tip merge condition
blob
|
commitdiff
|
raw
|
diff to current
2012-03-02
Ian Jackson
wip merge
blob
|
commitdiff
|
raw
|
diff to current
2012-03-02
Ian Jackson
macros \true and \false
blob
|
commitdiff
|
raw
|
diff to current
2012-03-01
Ian Jackson
remove symbol test section
blob
|
commitdiff
|
raw
|
diff to current
2012-03-01
Ian Jackson
simple commits
blob
|
commitdiff
|
raw
|
diff to current
2012-03-01
Ian Jackson
a wrapper for gather
blob
|
commitdiff
|
raw
|
diff to current
2012-03-01
Ian Jackson
wip
blob
|
commitdiff
|
raw
|
diff to current
2012-03-01
Ian Jackson
fixes
blob
|
commitdiff
|
raw
|
diff to current
2012-03-01
Ian Jackson
ends, work, etc.
blob
|
commitdiff
|
raw
|
diff to current
2012-03-01
Ian Jackson
more lemmas
blob
|
commitdiff
|
raw
|
diff to current
2012-03-01
Ian Jackson
work
blob
|
commitdiff
|
raw
|
diff to current
2012-03-01
Ian Jackson
mdw's bigforall
blob
|
commitdiff
|
raw
|
diff to current
2012-03-01
Ian Jackson
more style
blob
|
commitdiff
|
raw
|
diff to current
2012-03-01
Ian Jackson
haspatch
blob
|
commitdiff
|
raw
|
diff to current
2012-03-01
Ian Jackson
no gather
blob
|
commitdiff
|
raw
|
diff to current
2012-03-01
Ian Jackson
try gather
blob
|
commitdiff
|
raw
|
diff to current
2012-03-01
Ian Jackson
convert unique base to equation display
blob
|
commitdiff
|
raw
|
diff to current
2012-03-01
Ian Jackson
patchof
blob
|
commitdiff
|
raw
|
diff to current
2012-03-01
Ian Jackson
remove some obsolete deps
blob
|
commitdiff
|
raw
|
diff to current
2012-03-01
Ian Jackson
better nothaspatch
blob
|
commitdiff
|
raw
|
diff to current
2012-03-01
Ian Jackson
pancs, pends
blob
|
commitdiff
|
raw
|
diff to current
2012-03-01
Ian Jackson
amsmath
blob
|
commitdiff
|
raw
|
diff to current
2012-03-01
Ian Jackson
try leqno
blob
|
commitdiff
|
raw
|
diff to current
2012-03-01
Ian Jackson
full stop
blob
|
commitdiff
|
raw
|
diff to current
2012-03-01
Ian Jackson
drop mnsymbol, use mathabx
blob
|
commitdiff
|
raw
|
diff to current
2012-03-01
Ian Jackson
define patch
blob
|
commitdiff
|
raw
|
diff to current
2012-03-01
Ian Jackson
nice formatting for notation
blob
|
commitdiff
|
raw
|
diff to current
2012-02-29
Ian Jackson
displays
blob
|
commitdiff
|
raw
|
diff to current
2012-02-29
Ian Jackson
not nath, urgh
blob
|
commitdiff
|
raw
|
diff to current
2012-02-29
Ian Jackson
more
blob
|
commitdiff
|
raw
|
diff to current
2012-02-29
Ian Jackson
use strayman
blob
|
commitdiff
|
raw
|
diff to current
2012-02-29
Ian Jackson
wip
blob
|
commitdiff
|
raw
|
diff to current
2012-02-29
Ian Jackson
weird chars before begin document
blob
|
commitdiff
|
raw
|
diff to current
2012-02-29
Ian Jackson
parents
blob
|
commitdiff
|
raw
|
diff to current
2012-02-29
Ian Jackson
pay pan etc.
blob
|
commitdiff
|
raw
|
diff to current
2012-02-29
Ian Jackson
{not,}{in,has}patch
blob
|
commitdiff
|
raw
|
diff to current
2012-02-29
Ian Jackson
declareslashed seems to work
blob
|
commitdiff
|
raw
|
diff to current
2012-02-29
Ian Jackson
tests
blob
|
commitdiff
|
raw
|
diff to current