author | wenzelm |
Tue, 31 Mar 2015 22:31:05 +0200 | |
changeset 59886 | e0dc738eb08c |
parent 48779 | 71136069089d |
permissions | -rw-r--r-- |
48779
71136069089d
some information for central Isabelle repository configuration;
wenzelm
parents:
diff
changeset
|
1 |
This is the main Isabelle Mercurial repository. |
71136069089d
some information for central Isabelle repository configuration;
wenzelm
parents:
diff
changeset
|
2 |
All the meta data is in .hg/ |