equal
deleted
inserted
replaced
28 "update", "merge" etc.) and is in fact much simpler and safer to use |
28 "update", "merge" etc.) and is in fact much simpler and safer to use |
29 than the corresponding operations of CVS or SVN. |
29 than the corresponding operations of CVS or SVN. |
30 |
30 |
31 |
31 |
32 Initial configuration |
32 Initial configuration |
33 ===================== |
33 --------------------- |
34 |
34 |
35 Always use Mercurial version 1.0 or later, such as 1.0.1 or 1.0.2. |
35 Always use Mercurial version 1.0 or later, such as 1.0.1 or 1.0.2. |
36 The old 0.9.x versions do not work in a multi-user environment with |
36 The old 0.9.x versions do not work in a multi-user environment with |
37 shared file spaces. |
37 shared file spaces. |
38 |
38 |
82 See also the fine documentation for further details, especially the |
82 See also the fine documentation for further details, especially the |
83 book http://hgbook.red-bean.com/ |
83 book http://hgbook.red-bean.com/ |
84 |
84 |
85 |
85 |
86 Shared pull/push access |
86 Shared pull/push access |
87 ======================= |
87 ----------------------- |
88 |
88 |
89 The entry point http://isabelle.in.tum.de/repos/isabelle is world |
89 The entry point http://isabelle.in.tum.de/repos/isabelle is world |
90 readable, both via plain web browsing and the hg client as described |
90 readable, both via plain web browsing and the hg client as described |
91 above. Anybody can produce a clone, change it arbitrarily, and then |
91 above. Anybody can produce a clone, change it arbitrarily, and then |
92 use regular mechanisms of Mercurial to report changes upstream, say |
92 use regular mechanisms of Mercurial to report changes upstream, say |
134 |
134 |
135 hg clone ssh://wenzelm@atbroy100//home/isabelle-repository/repos/isabelle |
135 hg clone ssh://wenzelm@atbroy100//home/isabelle-repository/repos/isabelle |
136 |
136 |
137 |
137 |
138 Content discipline |
138 Content discipline |
139 ================== |
139 ------------------ |
140 |
140 |
141 Old-style centralized version control is occasionally compared to "a |
141 Old-style centralized version control is occasionally compared to "a |
142 library where everybody scribbles into the books". Or seen the other |
142 library where everybody scribbles into the books". Or seen the other |
143 way round, the centralized model discourages individual |
143 way round, the centralized model discourages individual |
144 experimentation (with local branches etc.), because everything is |
144 experimentation (with local branches etc.), because everything is |
181 advisable to separate lines via punctuation, and not rely on |
181 advisable to separate lines via punctuation, and not rely on |
182 two-dimensional presentation too much. |
182 two-dimensional presentation too much. |
183 |
183 |
184 |
184 |
185 Building Isabelle from the repository version |
185 Building Isabelle from the repository version |
186 ============================================= |
186 --------------------------------------------- |
187 |
187 |
188 Compared to a proper distribution or development snapshot, a |
188 Compared to a proper distribution or development snapshot, a |
189 repository version of Isabelle lacks textual version identifiers in |
189 repository version of Isabelle lacks textual version identifiers in |
190 some sources and scripts, and various components produced by |
190 some sources and scripts, and various components produced by |
191 Admin/build are missing. After applying that script with suitable |
191 Admin/build are missing. After applying that script with suitable |