equal
deleted
inserted
replaced
2 =========================================================== |
2 =========================================================== |
3 |
3 |
4 Quick start in 30min |
4 Quick start in 30min |
5 -------------------- |
5 -------------------- |
6 |
6 |
7 1a. Linux and Mac OS X: ensure that Perl (with libwww) and Mercurial (hg) |
7 1a. Linux and Mac OS X: ensure that Mercurial is installed |
8 is installed (see also http://www.selenic.com/mercurial) |
8 (see also http://www.selenic.com/mercurial) |
9 |
9 |
10 1b. Windows: ensure that Cygwin with Perl and Mercurial is installed (see |
10 1b. Windows: ensure that Cygwin with curl and Mercurial is installed |
11 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 |
16 |
16 |