equal
deleted
inserted
replaced
30 |
30 |
31 |
31 |
32 Initial configuration |
32 Initial configuration |
33 --------------------- |
33 --------------------- |
34 |
34 |
35 Always use Mercurial versions from the 1.0 or 1.1 branch, or later. |
|
36 The old 0.9.x versions do not work in a multi-user environment with |
|
37 shared file spaces! |
|
38 |
|
39 |
|
40 The official Isabelle repository can be cloned like this: |
35 The official Isabelle repository can be cloned like this: |
41 |
36 |
42 hg clone http://isabelle.in.tum.de/repos/isabelle |
37 hg clone http://isabelle.in.tum.de/repos/isabelle |
43 |
38 |
44 This will create a local directory "isabelle", unless an alternative |
39 This will create a local directory "isabelle", unless an alternative |