README_REPOSITORY
changeset 68378 22680a3f8346
parent 67744 5c781dcd5864
child 71583 200ec7c4c1a5
equal deleted inserted replaced
68377:1d1e9f9f8641 68378:22680a3f8346
     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