On 16/08/12 13:32, Ian Zimmerman wrote: > After I built HOL4, I opened HOLDIR/help/HOLindex.html in my browser, and I > clicked on the "Theory Graph" link. It was broken.
... tale of woe elided ... > So, now it seems to me the README just lies, and the graph is not built, > period. Am I right? You're right; sorry for the error. I'll fix that README and/or try to get build to really build the graph when we detect the availability of dot. I'll track this at https://github.com/mn200/HOL/issues/84 If you've managed a successful build, try cd help/src-sml <HOLDIR>/bin/hol < DOT This assumes that dot is in /usr/bin. Edit the last line of the DOT file if this is not the case. Best, Michael ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
