equal
deleted
inserted
replaced
81 |
81 |
82 - various .hg/hgrc files: |
82 - various .hg/hgrc files: |
83 default = http://bitbucket.org/isabelle_project/isabelle-release |
83 default = http://bitbucket.org/isabelle_project/isabelle-release |
84 default = ssh://hg@bitbucket.org/isabelle_project/isabelle-release |
84 default = ssh://hg@bitbucket.org/isabelle_project/isabelle-release |
85 |
85 |
86 - isatest@macbroy28:hg-isabelle/.hg/hgrc |
86 - isatest@lxbroy2:hg-isabelle/.hg/hgrc |
87 - isatest@macbroy28:devel-page/content/index.content |
87 - isatest@lxbroy2:devel-page/content/index.content |
88 |
88 |
89 |
89 |
90 Post-release |
90 Post-release |
91 ============ |
91 ============ |
92 |
92 |