contrib/util/language_translations/stats.txt

   1
   2 Language Statistics:
   3 Total number of languages with translations: 7
   4 Total number of constants: 4724
   5 Total number of real definitions: 24788
   6 Dutch: 99.98% (4723 definitions)
   7 English (Indian): 2.12% (100 definitions)
   8 Greek: 87.89% (4152 definitions)
   9 Portuguese (Brazilian): 71.82% (3393 definitions)
  10 Portuguese (European): 79.89% (3774 definitions)
  11 Spanish: 83.51% (3945 definitions)
  12 Turkish: 99.51% (4701 definitions)