author | wenzelm |
Wed, 16 Mar 2016 22:19:08 +0100 | |
changeset 62645 | a2351f82bc48 |
parent 48779 | 71136069089d |
permissions | -rw-r--r-- |
48779
71136069089d
some information for central Isabelle repository configuration;
wenzelm
parents:
diff
changeset
|
1 |
[web] |
71136069089d
some information for central Isabelle repository configuration;
wenzelm
parents:
diff
changeset
|
2 |
style = isabelle |
71136069089d
some information for central Isabelle repository configuration;
wenzelm
parents:
diff
changeset
|
3 |
contact = isabelle |
71136069089d
some information for central Isabelle repository configuration;
wenzelm
parents:
diff
changeset
|
4 |
description = The Isabelle repository |
71136069089d
some information for central Isabelle repository configuration;
wenzelm
parents:
diff
changeset
|
5 |
allow_archive = gz |
71136069089d
some information for central Isabelle repository configuration;
wenzelm
parents:
diff
changeset
|
6 |
maxfiles = 50 |
71136069089d
some information for central Isabelle repository configuration;
wenzelm
parents:
diff
changeset
|
7 |
encoding = UTF-8 |