[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.

Cheers,
	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

Attachment: signature.asc
Description: OpenPGP digital signature



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