equal
deleted
inserted
replaced
83 |
83 |
84 - various .hg/hgrc files: |
84 - various .hg/hgrc files: |
85 default = http://bitbucket.org/isabelle_project/isabelle-release |
85 default = http://bitbucket.org/isabelle_project/isabelle-release |
86 default = ssh://hg@bitbucket.org/isabelle_project/isabelle-release |
86 default = ssh://hg@bitbucket.org/isabelle_project/isabelle-release |
87 |
87 |
88 - isatest@lxbroy10:hg-isabelle/.hg/hgrc |
88 - Admin/cronjob/self_update: |
89 - isatest@lxbroy10:devel-page/content/index.content |
89 http://bitbucket.org/isabelle_project/isabelle-release |
90 |
90 |
91 |
91 |
92 Post-release |
92 Post-release |
93 ============ |
93 ============ |
94 |
94 |