create an index for all the specifications, if required
create an index for all the specifications, if required
a Fold for the Html output
Get html options, possibly coming from the command line
Create the html file content from:
Create the html file content from:
Create the Html file by invoking Pandoc
convenience method to print a SpecStructure using the printer's Fold
convenience method to print a SpecStructure using the printer's Fold
Print the execution results as an Html file
Print the execution results as an Html file
Print the execution results as an Html file
Print the execution results as an Html file
Printer for html files