equal
deleted
inserted
replaced
5 -------------------- |
5 -------------------- |
6 |
6 |
7 1a. Linux and Mac OS X: ensure that Mercurial is installed |
7 1a. Linux and Mac OS X: ensure that Mercurial is installed |
8 (see also http://www.selenic.com/mercurial) |
8 (see also http://www.selenic.com/mercurial) |
9 |
9 |
10 1b. Windows: ensure that Cygwin with curl and Mercurial is installed |
10 1b. Windows: ensure that Cygwin64 with curl and Mercurial is installed |
11 (see also http://www.cygwin.com) |
11 (see also http://www.cygwin.com) |
12 |
12 |
13 2. Clone repository (bash shell commands): |
13 2. Clone repository (bash shell commands): |
14 |
14 |
15 hg clone http://isabelle.in.tum.de/repos/isabelle |
15 hg clone http://isabelle.in.tum.de/repos/isabelle |