Improve a note page.
authorMatthijs Kooijman <matthijs@stdin.nl>
Mon, 14 Dec 2009 14:04:25 +0000 (15:04 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Mon, 14 Dec 2009 14:04:25 +0000 (15:04 +0100)
commit052773558247613c012360db239176e6aba7f8be
treed7bd0ab50421ce2f128a2a03199521a0f9dc3c80
parent40eeb681ff25acf4d902dd706fc3eaab37ac7f1c
Improve a note page.
matthijs/introduction.lhs