Automated Code Analysis

ohcount analysis of proofgeneral_3.7-3.dsc

                          Ohloh Line Count Summary                          

Language          Files       Code    Comment  Comment %      Blank      Total
----------------  -----  ---------  ---------  ---------  ---------  ---------
emacslisp           132      49454      10067      16.9%       7829      67350
html                 47      13544        423       3.0%       1148      15115
css                  48        844         12       1.4%         20        876
make                  7        467        257      35.5%        166        890
perl                  5        262         79      23.2%         83        424
shell                 8        165         52      24.0%         46        263
c                     1         43          0       0.0%         12         55
scheme                1         11          0       0.0%          0         11
----------------  -----  ---------  ---------  ---------  ---------  ---------
Total               249      64790      10890      14.4%       9304      84984

---