Automated Code Analysis

ohcount analysis of coq_8.2.pl2+dfsg-1.dsc

                          Ohloh Line Count Summary                          

Language          Files       Code    Comment  Comment %      Blank      Total
----------------  -----  ---------  ---------  ---------  ---------  ---------
ocaml               633     145208      24564      14.5%      26742     196514
tex                  29       2253        110       4.7%        398       2761
c                    12       1960        309      13.6%        270       2539
autoconf              1        990          0       0.0%        110       1100
shell                12        484         87      15.2%         82        653
emacslisp             3        456         97      17.5%         98        651
make                  5        367         53      12.6%        118        538
xml                   3        350         75      17.6%        127        552
css                   3        132          3       2.2%         32        167
bat                   2         15          0       0.0%          0         15
html                  2         12          0       0.0%          3         15
----------------  -----  ---------  ---------  ---------  ---------  ---------
Total               705     152227      25298      14.3%      27980     205505

---