112025-03-09 17:13:27ClintonEbadiadd StephenMichel to admin group102024-08-26 21:21:16ClintonEbadiclean up admingroup list, add new wiki admin92011-09-17 08:59:11RichardDarst82010-03-10 09:30:58RichardDarstadd me72008-07-07 04:28:17localhostconverted to 1.6 markup62008-01-15 17:16:49MichaelOlson52007-11-06 02:30:53MichaelOlsonGive Ryan delete privs42007-10-08 17:23:17MichaelOlsonAdd Omry32007-10-08 05:26:58MichaelOlson22007-10-08 05:26:14MichaelOlson12007-10-08 05:25:25MichaelOlsonThis is a listing of the people who have the ability to delete pages and despam pages on the wiki. It is not a listing of HCoop admins per se. FrankBynum AdamChlipala ClintonEbadi NathanKennedy DavorOcelic RobinTempleton JackHill StephenMichel