equal
deleted
inserted
replaced
81 |
81 |
82 |
82 |
83 See also the fine documentation for further details, especially the |
83 See also the fine documentation for further details, especially the |
84 book http://hgbook.red-bean.com/ |
84 book http://hgbook.red-bean.com/ |
85 |
85 |
|
86 There is also a nice tutorial at http://hginit.com/ |
|
87 |
86 |
88 |
87 Shared pull/push access |
89 Shared pull/push access |
88 ----------------------- |
90 ----------------------- |
89 |
91 |
90 The entry point http://isabelle.in.tum.de/repos/isabelle is world |
92 The entry point http://isabelle.in.tum.de/repos/isabelle is world |