equal
deleted
inserted
replaced
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 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 https://www.mercurial-scm.org) |
9 |
9 |
10 1b. Windows: ensure that Cygwin64 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 https://www.cygwin.com) |
12 |
12 |
13 2. Clone repository (bash shell commands): |
13 2. Clone repository (bash shell commands): |
14 |
14 |
15 hg clone https://isabelle.in.tum.de/repos/isabelle |
15 hg clone https://isabelle.in.tum.de/repos/isabelle |
16 |
16 |
44 |
44 |
45 |
45 |
46 Introduction |
46 Introduction |
47 ------------ |
47 ------------ |
48 |
48 |
49 Mercurial http://www.selenic.com/mercurial belongs to source code |
49 Mercurial https://www.mercurial-scm.org belongs to source code |
50 management systems that follow the so-called paradigm of "distributed |
50 management systems that follow the so-called paradigm of "distributed |
51 version control". This means plain revision control without the |
51 version control". This means plain revision control without the |
52 legacy of CVS or SVN (and without the extra complexity introduced by |
52 legacy of CVS or SVN (and without the extra complexity introduced by |
53 git). See also http://hginit.com/ for an introduction to the main |
53 git). See also http://hginit.com/ for an introduction to the main |
54 ideas. The Mercurial book http://hgbook.red-bean.com/ explains many |
54 ideas. The Mercurial book http://hgbook.red-bean.com/ explains many |