2 Oct
2015
2 Oct
'15
10:26 a.m.
Simon Peyton Jones
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