Re: [isabelle] sloccount for .thy files?

On 01/08/12 19:46, Makarius wrote:
> [lots of helpful information]
> It depends what you want to count and to achieve in the end, how much
> precision you want to apply.

Thank you very much. This gives me a very solid basis to start with,
even with my knowledge of scala at a day-old level. It also prevents me
from having to write yet another parser. Perhaps the resulting script
(after being tuned) will be of use to somebody. Once I have it, I will


Rafal Kolanski.

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