Automated Code Analysis

ohcount analysis of coq_8.1.pl3+dfsg-1.dsc

                          Ohloh Line Count Summary                          

Language          Files       Code    Comment  Comment %      Blank      Total
----------------  -----  ---------  ---------  ---------  ---------  ---------
ocaml               619     127208      22822      15.2%      23108     173138
tex                  30       2255        110       4.7%        400       2765
make                  5       1668        213      11.3%        553       2434
c                    10       1460        198      11.9%        198       1856
autoconf              1        784          0       0.0%        101        885
shell                19        468        103      18.0%         76        647
emacslisp             3        456         97      17.5%         98        651
xml                   3        350         75      17.6%        127        552
css                   2         71          2       2.7%         17         90
awk                   1         15          1       6.2%          1         17
bat                   2         15          0       0.0%          0         15
html                  1          2          0       0.0%          0          2
----------------  -----  ---------  ---------  ---------  ---------  ---------
Total               696     134752      23621      14.9%      24679     183052

---