Re: [isabelle] sloccount for .thy files?



Hi,

> [...] or a hackable approximation of one?

$ cat *.thy | awk '/\(\*/,/\*\)/{ next } 1' | wc -l

Removes all (* *) blocks and counts the lines. Empty lines, text {* *}
blocks and --"" comments are not stripped.

With kind regards,
Cornelius





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