Re: [isabelle] environment problem?



> When executing the command `isatool usedir ZF abc_pob_0' using a java
> `system' command, I get the following error.

Which java library method are you using exactly? I know e. g. that
Runtime.exec becomes very painfully if the process writes more than one
line to stdout (!).

Florian

Attachment: signature.asc
Description: OpenPGP digital signature



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