equal
deleted
inserted
replaced
8 see also http://www.cygwin.com/ |
8 see also http://www.cygwin.com/ |
9 |
9 |
10 1b. Mac OS X and Linux: ensure that Mercurial (hg) is installed; see |
10 1b. Mac OS X and Linux: ensure that Mercurial (hg) is installed; see |
11 also http://www.selenic.com/mercurial |
11 also http://www.selenic.com/mercurial |
12 |
12 |
13 2. Create file $HOME/.isabelle/etc/settings and insert the following |
13 2. Create file $USER_HOME/.isabelle/etc/settings and insert the following |
14 line near its beginning: |
14 line near its beginning: |
15 |
15 |
16 init_components "$HOME/.isabelle/contrib" "$ISABELLE_HOME/Admin/components/main" |
16 init_components "$USER_HOME/.isabelle/contrib" "$ISABELLE_HOME/Admin/components/main" |
17 |
17 |
18 3. Execute bash shell commands as follows: |
18 3. Execute bash shell commands as follows: |
19 |
19 |
20 hg clone http://isabelle.in.tum.de/repos/isabelle |
20 hg clone http://isabelle.in.tum.de/repos/isabelle |
21 |
21 |