chiark
/
gitweb
/
~ian
/
topbloke-formulae.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
.gitignore
[topbloke-formulae.git]
/
article.tex
2012-03-01
Ian Jackson
simple commits
blob
|
commitdiff
|
raw
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
~ian / topbloke-formulae.git / history