chiark / gitweb /
~ian / topbloke-formulae.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
wip merge unique base
2012-03-02 Ian Jacksonwip merge unique base
 commit | commitdiff | tree
2012-03-02 Ian Jacksonwip merge unique base
 commit | commitdiff | tree
2012-03-02 Ian Jacksonlemma calculation of ends, no proof yet
 commit | commitdiff | tree
2012-03-02 Ian Jacksonclarify by swapping two vars
 commit | commitdiff | tree
2012-03-02 Ian JacksonLargeexists
 commit | commitdiff | tree
2012-03-02 Ian Jacksonmerge no replay
 commit | commitdiff | tree
2012-03-02 Ian Jacksonwip merge
 commit | commitdiff | tree
2012-03-02 Ian Jacksonwip merge before rejoin tip merge condition
 commit | commitdiff | tree
2012-03-02 Ian Jacksonwip merge
 commit | commitdiff | tree
2012-03-02 Ian Jacksonmacros \true and \false
 commit | commitdiff | tree
2012-03-01 Ian Jacksonremove symbol test section
 commit | commitdiff | tree
2012-03-01 Ian Jackson.gitignore
 commit | commitdiff | tree
2012-03-01 Ian Jacksonsimple commits
 commit | commitdiff | tree
2012-03-01 Ian Jacksona wrapper for gather
 commit | commitdiff | tree
2012-03-01 Ian Jacksonwip
 commit | commitdiff | tree
2012-03-01 Ian Jacksonfix up default target
 commit | commitdiff | tree
2012-03-01 Ian Jacksonmake postscript
 commit | commitdiff | tree
2012-03-01 Ian Jacksonmakefile etc.
 commit | commitdiff | tree
2012-03-01 Ian Jacksontrivial test document
 commit | commitdiff | tree
2012-03-01 Ian Jacksonfixes
 commit | commitdiff | tree
2012-03-01 Ian Jacksonends, work, etc.
 commit | commitdiff | tree
2012-03-01 Ian Jacksonmore lemmas
 commit | commitdiff | tree
2012-03-01 Ian Jacksonwork
 commit | commitdiff | tree
2012-03-01 Ian Jacksonmdw's bigforall
 commit | commitdiff | tree
2012-03-01 Ian Jacksonmore style
 commit | commitdiff | tree
2012-03-01 Ian Jacksonhaspatch
 commit | commitdiff | tree
2012-03-01 Ian Jacksonno gather
 commit | commitdiff | tree
2012-03-01 Ian Jacksontry gather
 commit | commitdiff | tree
2012-03-01 Ian Jacksonconvert unique base to equation display
 commit | commitdiff | tree
2012-03-01 Ian Jacksonpatchof
 commit | commitdiff | tree
2012-03-01 Ian Jacksonremove some obsolete deps
 commit | commitdiff | tree
2012-03-01 Ian Jacksonbetter nothaspatch
 commit | commitdiff | tree
2012-03-01 Ian Jacksonpancs, pends
 commit | commitdiff | tree
2012-03-01 Ian Jacksonamsmath
 commit | commitdiff | tree
2012-03-01 Ian Jacksontry leqno
 commit | commitdiff | tree
2012-03-01 Ian Jacksonfull stop
 commit | commitdiff | tree
2012-03-01 Ian Jacksondrop mnsymbol, use mathabx
 commit | commitdiff | tree
2012-03-01 Ian Jacksondefine patch
 commit | commitdiff | tree
2012-03-01 Ian Jacksonnice formatting for notation
 commit | commitdiff | tree
2012-02-29 Ian Jacksondisplays
 commit | commitdiff | tree
2012-02-29 Ian Jacksonnot nath, urgh
 commit | commitdiff | tree
2012-02-29 Ian Jacksonmore
 commit | commitdiff | tree
2012-02-29 Ian Jacksonuse strayman
 commit | commitdiff | tree
2012-02-29 Ian Jacksonwip
 commit | commitdiff | tree
2012-02-29 Ian Jacksonweird chars before begin document
 commit | commitdiff | tree
2012-02-29 Ian Jacksonparents
 commit | commitdiff | tree
2012-02-29 Ian Jacksonpay pan etc.
 commit | commitdiff | tree
2012-02-29 Ian Jackson{not,}{in,has}patch
 commit | commitdiff | tree
2012-02-29 Ian Jacksondeclareslashed seems to work
 commit | commitdiff | tree
2012-02-29 Ian Jacksontests
 commit | commitdiff | tree
Unnamed repository; edit this file 'description' to name the repository.