author | wenzelm |
Fri, 29 Jun 2018 20:32:24 +0200 | |
changeset 68546 | 34d732a83767 |
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 |