2 Oct
2015
2 Oct
'15
10:26 p.m.
Simon Peyton Jones <simonpj@microsoft.com> writes:
It looks lovely.
Please please can we have section numbers?! It is so helpful to be able to say "see section 3.2.42 in the user manual". And the numbers give a clearer indication of sub-nesting than does the font in which the heading is rendered. It's a big manual to navigate!
Ahh, that's a good point. Indeed we can. I've uploaded an updated build with section numbers. Cheers, - Ben