Re: [isabelle] dependency graph on Cygwin
giamp at dmi.unict.it wrote:
Isabelle2005 seems to be working fine with SMLNJ and Cygwin/Windows. However, I
can't build the graph of theory dependencies.
$ isatool usedir -g true -d document HOL Myproofs
Running HOL-Myproofs ...
Exception in thread "main" Error: /tmp/isabelle-giamp3680/session_graph.eps:
does not exist
Failed to produce pdf output
A Java VM is available under Cygwin. Can you help, thanks!
It seems that you need to run "make" in (Distribution)/lib/browser to
generate the necessary Java classes.
This should not be necessary for the normal distribution. Are you
running from CVS?
This archive was generated by a fusion of
Pipermail (Mailman edition) and