create an index for all the specifications, if required
create an index for all the specifications, if required
Get html options, possibly coming from the command line
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
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
a SinkTask for the Html output