[m-dev.] for review: quickcheck user guide

[Ralph Becket]

Just a couple of comments on the typesetting of the tutorial...

* Wrapping everything in <pre></pre> tags makes reading it quite hard
on the eyes; it's generally better to leave ordinary prose unadorned
so that viewers can read it using their preferred font according to their
browser settings.

* Preformatted text *is* ideal for source code, but it's not clear to
me what the distinction is between the stuff with a different background
colour (attractive, easy to read) and the stuff in bold (horrible!) -
which is typeset using <h4></h4>, this being an abuse of HTML.
It'd be much better (and more appropriate) to just use <pre></pre>
around those sections.

* "Next Page" and "Previous Page" buttons on each page would be nice, 
in addition to "Back to main".  For bonus points have them at the top
*and* bottom of every page, separated from the main body of the text
with <hr>.

--
Ralph Becket      |      MSR Cambridge      |      rbeck at microsoft.com 

--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------