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


Rafal Kolanski.

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