chiark / gitweb /
~ian / topbloke-formulae.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
strategy: define W in Notation
[topbloke-formulae.git] / simple.tex
2013-08-10 Ian JacksonForeign Ancestry: rename from Foreign Contents (and... commit | commitdiff
2013-08-04 Ian Jacksoninvariants: introduce bases' children; some of the... commit | commitdiff
2012-05-27 Ian Jacksonforeign notation: introduce \isforeign commit | commitdiff
2012-05-27 Ian Jacksonforeign notation: change \bot to \foreign everywhere commit | commitdiff
2012-04-18 Ian Jacksonunique tips: single parent unique tips use cases commit | commitdiff
2012-03-21 Ian Jacksonrefactor for coherence cases - simple, fix leftover ~ commit | commitdiff
2012-03-21 Ian Jacksonfix wrong symbols in simple commit | commitdiff
2012-03-21 Ian Jacksonrefactor for coherence cases - simple, more commit | commitdiff
2012-03-21 Ian Jacksonrefactor for coherence cases - simple commit | commitdiff
2012-03-21 Ian Jacksonsimple - improve title cap commit | commitdiff
2012-03-21 Ian Jacksonwip exclusive haspatch - fix Simple / Coherence commit | commitdiff
2012-03-21 Ian Jacksonsimple commit fix P notation commit | commitdiff
2012-03-16 Ian Jacksonsplit into multiple source files commit | commitdiff
Unnamed repository; edit this file 'description' to name the repository.