The output was modified to display a link to the summary results from the top of the output page. We also added links from the summary "failed" axioms to a case where the axiom failed when using the verbose option.
We discovered that the user interface does not work from a PC outside of the department. The CGI script has a problem opening the local files. We will explore this problem, but since time is running out, we may not be able to address it fully.