chiark / gitweb /
~ian / topbloke-formulae.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
topbloke-formulae.git
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.