[isabelle] dependency graph on Cygwin



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 ...
java.lang.NoClassDefFoundError: GraphBrowser/Console
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!
--
              Giamp





----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.