chiark / gitweb /
fix a few bugs in THEORY
[topbloke.git] / TODO
2012-01-23 Ian Jacksonrename TODO -> BUGS for better completion
2012-01-22 Ian Jacksonchange terminology