MUNDI - Info: note

5th June 2001

It's probably worth mentioning before you get too deep into this that
I am tending to use the terms "info" and "help" more or less
interchangeably throughout.  This is because the system you are using
now is called "hhelp", and all the stuff pertaining to it was
originally called "help" (for obvious reasons), but Andreas has
rightly suggested that "help" as such should be simple to use, and so
this has been made into "info"-mode instead.  That was a bit of a long
sentence, never mind.  The point is, don't worry if you see one term
where you think you should see the other - Mirk.

Feedback to <> is welcome!