[web] style = isabelle contact = isabelle description = The Isabelle repository allow_archive = gz maxfiles = 50 encoding = UTF-8