[isabelle] sloccount for .thy files?



Dear Isabelle Users,

We need something like sloccount (count lines of code in a file with comments removed) for Isabelle. It seems I have to hack up such a tool, but I worry that trying to do so quickly may result in not getting it right. I would much rather piggyback on a tool written by someone else already.

Does anyone know of such a tool, or a hackable approximation of one?

Sincerely,

Rafal Kolanski.





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