The page on the Debian packages for Mercury might be improved by adding a sentence or two after the list of grades included in the package, about what the user needs to do if they find they need a new grade. (I installed the Debian packages because it seemed simpler as a way to get started on a renewed attempt to learn enough Mercury to be able to use it. Because that meant I had not gone through the configuration step of compiling from source, I was a bit confused when it turned out that minimal model tabling was not available.)
Concretely, after the paragraph beginning "There are two groups of packages to choose from", I would suggest adding a paragraph saying something like:
If you find you need a grade not included in the package, you will need to download the source distribution and build it locally; this can take some time but is reasonably straightforward. The configuration step will allow you to specify which grades you want to build.
This may help only a small number of users, but it may be that increasing numbers of users on Linux and other systems use package managers in preference to compiling from source.
The page on the Debian packages for Mercury might be improved by adding a sentence or two after the list of grades included in the package, about what the user needs to do if they find they need a new grade. (I installed the Debian packages because it seemed simpler as a way to get started on a renewed attempt to learn enough Mercury to be able to use it. Because that meant I had not gone through the configuration step of compiling from source, I was a bit confused when it turned out that minimal model tabling was not available.)
Concretely, after the paragraph beginning "There are two groups of packages to choose from", I would suggest adding a paragraph saying something like:
This may help only a small number of users, but it may be that increasing numbers of users on Linux and other systems use package managers in preference to compiling from source.