[isabelle-dev] Number of line changes per user in the Isabelle repository

[Florian Haftmann]

> wenzelm      1495934 ************************************************************************************************
> paulson      982335 ***************************************************************
> haftmann     413881 **************************
> nipkow       261461 ****************
> kleing       165665 **********
> huffman      147057 *********
> clasohm      145749 *********
> berghofe     127173 ********
> lcp           95076 ******
> obua          84393 *****
> oheimb        78606 *****
> ballarin      75823 ****
> urbanc        66616 ****
> krauss        63208 ****
> chaieb        57815 ***
> schirmer      51262 ***
> skalberg      49406 ***
> webertj       31039 *
> mueller       24219 *
> fleuriot      12461 
> regensbu      12124 
> aspinall      11412 
> quigley       11302 
> mengj         10549 
> bauerg         9633 
> streckem       8720 
> prensani       8068 
> dixon          7941 
> slotosch       6082 
> ehmety         5316 
> avigad         4732 
> bulwahn        3022 
> mehta          1612 
> narboux         902 
> narasche        839 
> sandnerr        728 
> isatest         485 
> gagern          326 
> pusch           143 
> convert-repo     39 
> merz             15 
> grobauer          4 

Generated using Admin/churn (Mercurial extension "Churn" must be
activated: http://www.selenic.com/mercurial/wiki/index.cgi/ChurnExtension)

	Florian

-- 

Home:
http://wwwbroy.in.tum.de/~haftmann

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 252 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20090118/96713a92/attachment.sig>