Automated Code Analysis

ohcount analysis of prover9-manual_0.0.200902a-1.dsc

                          Ohloh Line Count Summary                          

Language          Files       Code    Comment  Comment %      Blank      Total
----------------  -----  ---------  ---------  ---------  ---------  ---------
html                 68      12928        702       5.2%       2370      16000
xml                   6        374         48      11.4%        104        526
css                   2        267          2       0.7%         32        301
xslt                  2        256         19       6.9%         83        358
shell                 9        179         22      10.9%         49        250
python                3         73          9      11.0%         47        129
tex                   4         62          2       3.1%         14         78
make                  1         42         13      23.6%         13         68
perl                  1         10          8      44.4%          4         22
----------------  -----  ---------  ---------  ---------  ---------  ---------
Total                96      14191        825       5.5%       2716      17732

---