Automated Code Analysis

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

                          Ohloh Line Count Summary                          

Language          Files       Code    Comment  Comment %      Blank      Total
----------------  -----  ---------  ---------  ---------  ---------  ---------
html                 66      12374        698       5.3%       2267      15339
xml                   6        374         48      11.4%        103        525
css                   2        267          2       0.7%         32        301
xslt                  2        256         19       6.9%         83        358
shell                 8        158         21      11.7%         43        222
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                93      13616        820       5.7%       2606      17042

---