[isabelle] RC-1 â ad 8bd5999133d4 â Âcode_deps needs cyclesÂ

This should not be the case.  Have you an example at hand where this did
fail with the new graph browser?

The code_deps command is somewhat neglected and old-fashioned, so
something might be lurking here.



PGP available:

Attachment: signature.asc
Description: OpenPGP digital signature

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