This is an old revision of the document!
PHP's gd library is missing or unable to create PNG images
Exploring the semantic graph
the ExplorerVisitor received an extension to export the semantic graph into dot notation, which can be rendered with GraphViz:
java -cp tla2tools.jartla2sany.SANY -d ATLA+Spec.tla dot
It optionally includes line numbers if the system property
</html>tla2sany.explorer.DotExplorerVisitor.includeLineNumbers=true
is set.