equal
deleted
inserted
replaced
57 |
57 |
58 Final release stage |
58 Final release stage |
59 =================== |
59 =================== |
60 |
60 |
61 - various .hg/hgrc files: |
61 - various .hg/hgrc files: |
62 default = /home/isabelle-repository/repos/isabelle-release |
62 default = http://bitbucket.org/isabelle_project/isabelle-release |
|
63 default = ssh://hg@bitbucket.org/isabelle_project/isabelle-release |
63 |
64 |
64 - isatest@macbroy28:hg-isabelle/.hg/hgrc |
65 - isatest@macbroy28:hg-isabelle/.hg/hgrc |
65 - isatest@macbroy28:devel-page/content/index.content |
66 - isatest@macbroy28:devel-page/content/index.content |
66 |
67 |
67 |
68 |