~mdw / sod / history
| 2019-08-31 | Mark Wooding | doc/: Switch to a manually maintained bibliography... | blob | commitdiff | raw |
| 2015-11-17 | Mark Wooding | Fix spelling of `Sensible' in all of the header comments. | blob | commitdiff | raw | diff to current |
| 2015-09-20 | Mark Wooding | Merge branch 'master' into doc | blob | commitdiff | raw | diff to current |
| 2015-09-20 | Mark Wooding | Merge branch 'master' into doc | blob | commitdiff | raw | diff to current |
| 2015-09-17 | Mark Wooding | Merge branch 'master' into doc | blob | commitdiff | raw | diff to current |
| 2015-09-17 | Mark Wooding | doc/: Sort out the manual structure. Write stuff. | blob | commitdiff | raw | diff to current |