equal
deleted
inserted
replaced
1 Important notes on Mercurial repository access for Isabelle |
1 Important notes on Mercurial repository access for Isabelle |
2 =========================================================== |
2 =========================================================== |
3 |
3 |
4 Quick start in 20min |
4 Quick start in 25min |
5 -------------------- |
5 -------------------- |
6 |
6 |
7 1. Ensure that "hg" (Mercurial) is installed; see also |
7 1a. Windows: ensure that Cygwin with Mercurial and Perl is installed; |
8 http://www.selenic.com/mercurial |
8 see also http://www.cygwin.com/ |
|
9 |
|
10 1b. Mac OS X and Linux: ensure that Mercurial (hg) is installed; see |
|
11 also http://www.selenic.com/mercurial |
9 |
12 |
10 2. Create file $HOME/.isabelle/etc/settings and insert the following |
13 2. Create file $HOME/.isabelle/etc/settings and insert the following |
11 line near its beginning: |
14 line near its beginning: |
12 |
15 |
13 init_components "$HOME/.isabelle/contrib" "$ISABELLE_HOME/Admin/components/main" |
16 init_components "$HOME/.isabelle/contrib" "$ISABELLE_HOME/Admin/components/main" |
14 |
17 |
15 3. Execute shell commands as follows: |
18 3. Execute bash shell commands as follows: |
16 |
19 |
17 hg clone http://isabelle.in.tum.de/repos/isabelle |
20 hg clone http://isabelle.in.tum.de/repos/isabelle |
18 |
21 |
19 ./isabelle/bin/isabelle components -a |
22 ./isabelle/bin/isabelle components -a |
20 |
23 |