chiark / gitweb /
~ian / topbloke-formulae.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
topbloke-formulae.git
2012-03-05 Ian Jacksonfinish merge unique base (we think) commit | commitdiff | tree | snapshot
2012-03-05 Ian Jacksonwip merge commit | commitdiff | tree | snapshot
2012-03-05 Ian Jacksonwip merge commit | commitdiff | tree | snapshot
2012-03-04 Ian Jacksonheading for other side commit | commitdiff | tree | snapshot
2012-03-04 Ian Jacksonfix a typo commit | commitdiff | tree | snapshot
2012-03-04 Ian Jacksona possible bug commit | commitdiff | tree | snapshot
2012-03-04 Ian Jacksonincrease \errorcontextlines commit | commitdiff | tree | snapshot
2012-03-04 Ian Jacksonadd some missing { } around macro args commit | commitdiff | tree | snapshot
2012-03-04 Ian Jacksonsubsubsection hyperref font problems: try exciting... commit | commitdiff | tree | snapshot
2012-03-03 Ian Jacksondemo problem test case commit | commitdiff | tree | snapshot
2012-03-03 Ian Jacksonadd FIXME because \py seems to cause barf in \subsubsection commit | commitdiff | tree | snapshot
2012-03-02 Ian Jacksonwip merge unique base commit | commitdiff | tree | snapshot
2012-03-02 Ian Jacksonwip merge unique base commit | commitdiff | tree | snapshot
2012-03-02 Ian Jacksonlemma calculation of ends, no proof yet commit | commitdiff | tree | snapshot
2012-03-02 Ian Jacksonclarify by swapping two vars commit | commitdiff | tree | snapshot
2012-03-02 Ian JacksonLargeexists commit | commitdiff | tree | snapshot
2012-03-02 Ian Jacksonmerge no replay commit | commitdiff | tree | snapshot
2012-03-02 Ian Jacksonwip merge commit | commitdiff | tree | snapshot
2012-03-02 Ian Jacksonwip merge before rejoin tip merge condition commit | commitdiff | tree | snapshot
2012-03-02 Ian Jacksonwip merge commit | commitdiff | tree | snapshot
2012-03-02 Ian Jacksonmacros \true and \false commit | commitdiff | tree | snapshot
2012-03-01 Ian Jacksonremove symbol test section commit | commitdiff | tree | snapshot
2012-03-01 Ian Jackson.gitignore commit | commitdiff | tree | snapshot
2012-03-01 Ian Jacksonsimple commits commit | commitdiff | tree | snapshot
2012-03-01 Ian Jacksona wrapper for gather commit | commitdiff | tree | snapshot
2012-03-01 Ian Jacksonwip commit | commitdiff | tree | snapshot
2012-03-01 Ian Jacksonfix up default target commit | commitdiff | tree | snapshot
2012-03-01 Ian Jacksonmake postscript commit | commitdiff | tree | snapshot
2012-03-01 Ian Jacksonmakefile etc. commit | commitdiff | tree | snapshot
2012-03-01 Ian Jacksontrivial test document commit | commitdiff | tree | snapshot
2012-03-01 Ian Jacksonfixes commit | commitdiff | tree | snapshot
2012-03-01 Ian Jacksonends, work, etc. commit | commitdiff | tree | snapshot
2012-03-01 Ian Jacksonmore lemmas commit | commitdiff | tree | snapshot
2012-03-01 Ian Jacksonwork commit | commitdiff | tree | snapshot
2012-03-01 Ian Jacksonmdw's bigforall commit | commitdiff | tree | snapshot
2012-03-01 Ian Jacksonmore style commit | commitdiff | tree | snapshot
2012-03-01 Ian Jacksonhaspatch commit | commitdiff | tree | snapshot
2012-03-01 Ian Jacksonno gather commit | commitdiff | tree | snapshot
2012-03-01 Ian Jacksontry gather commit | commitdiff | tree | snapshot
2012-03-01 Ian Jacksonconvert unique base to equation display commit | commitdiff | tree | snapshot
2012-03-01 Ian Jacksonpatchof commit | commitdiff | tree | snapshot
2012-03-01 Ian Jacksonremove some obsolete deps commit | commitdiff | tree | snapshot
2012-03-01 Ian Jacksonbetter nothaspatch commit | commitdiff | tree | snapshot
2012-03-01 Ian Jacksonpancs, pends commit | commitdiff | tree | snapshot
2012-03-01 Ian Jacksonamsmath commit | commitdiff | tree | snapshot
2012-03-01 Ian Jacksontry leqno commit | commitdiff | tree | snapshot
2012-03-01 Ian Jacksonfull stop commit | commitdiff | tree | snapshot
2012-03-01 Ian Jacksondrop mnsymbol, use mathabx commit | commitdiff | tree | snapshot
2012-03-01 Ian Jacksondefine patch commit | commitdiff | tree | snapshot
2012-03-01 Ian Jacksonnice formatting for notation commit | commitdiff | tree | snapshot
2012-02-29 Ian Jacksondisplays commit | commitdiff | tree | snapshot
2012-02-29 Ian Jacksonnot nath, urgh commit | commitdiff | tree | snapshot
2012-02-29 Ian Jacksonmore commit | commitdiff | tree | snapshot
2012-02-29 Ian Jacksonuse strayman commit | commitdiff | tree | snapshot
2012-02-29 Ian Jacksonwip commit | commitdiff | tree | snapshot
2012-02-29 Ian Jacksonweird chars before begin document commit | commitdiff | tree | snapshot
2012-02-29 Ian Jacksonparents commit | commitdiff | tree | snapshot
2012-02-29 Ian Jacksonpay pan etc. commit | commitdiff | tree | snapshot
2012-02-29 Ian Jackson{not,}{in,has}patch commit | commitdiff | tree | snapshot
2012-02-29 Ian Jacksondeclareslashed seems to work commit | commitdiff | tree | snapshot
2012-02-29 Ian Jacksontests commit | commitdiff | tree | snapshot
Unnamed repository; edit this file 'description' to name the repository.