Go backward to `desing/maxnnc`
Go up to Procedures
Go forward to `desing/monsequence`
It is also an interface procedure under the short name maketree. It retrieves the resolution tree from a saved computation and exports it in HTML format into the file tree.html in the directory given by htmlpath. This is a wrapper for the procedure `desing/dumpTree` specializing it to this task.