equal
deleted
inserted
replaced
91 |
91 |
92 - various .hg/hgrc files: |
92 - various .hg/hgrc files: |
93 default = http://bitbucket.org/isabelle_project/isabelle-release |
93 default = http://bitbucket.org/isabelle_project/isabelle-release |
94 default = ssh://hg@bitbucket.org/isabelle_project/isabelle-release |
94 default = ssh://hg@bitbucket.org/isabelle_project/isabelle-release |
95 |
95 |
96 - Admin/cronjob/self_update: |
|
97 http://bitbucket.org/isabelle_project/isabelle-release |
|
98 |
|
99 - src/Pure/Admin/isabelle_cronjon.scala: |
|
100 isabelle_repos_source = isabelle_release_source |
|
101 |
|
102 |
96 |
103 Post-release |
97 Post-release |
104 ============ |
98 ============ |
105 |
99 |
106 - update /home/isabelle and /home/isabelle/html-data |
100 - update /home/isabelle and /home/isabelle/html-data |