equal
deleted
inserted
replaced
2 =========================================================== |
2 =========================================================== |
3 |
3 |
4 Quick start in 25min |
4 Quick start in 25min |
5 -------------------- |
5 -------------------- |
6 |
6 |
7 1a. Windows: ensure that Cygwin with Mercurial and Perl is installed; |
7 1a. Linux and Mac OS X: ensure that Mercurial (hg) is installed; see |
|
8 also http://www.selenic.com/mercurial |
|
9 |
|
10 1b. Windows: ensure that Cygwin with Mercurial and Perl is installed; |
8 see also http://www.cygwin.com/ |
11 see also http://www.cygwin.com/ |
9 |
12 |
10 1b. Mac OS X and Linux: ensure that Mercurial (hg) is installed; see |
13 2. Clone repository (bash shell commands): |
11 also http://www.selenic.com/mercurial |
|
12 |
|
13 2. Create file $HOME/.isabelle/etc/settings and insert the following |
|
14 line near its beginning: |
|
15 |
|
16 init_components "$HOME/.isabelle/contrib" "$ISABELLE_HOME/Admin/components/main" |
|
17 |
|
18 3. Execute bash shell commands as follows: |
|
19 |
14 |
20 hg clone http://isabelle.in.tum.de/repos/isabelle |
15 hg clone http://isabelle.in.tum.de/repos/isabelle |
21 |
16 |
22 cd isabelle |
17 cd isabelle |
23 |
18 |
|
19 ./bin/isabelle components -I |
|
20 |
24 ./bin/isabelle components -a |
21 ./bin/isabelle components -a |
25 |
22 |
26 ./bin/isabelle jedit -l HOL |
23 ./bin/isabelle jedit -l HOL |
27 |
24 |
28 4. To stay up-to-date later on, pull changes like this: |
25 3. Update repository (bash shell commands): |
29 |
26 |
30 cd isabelle |
27 cd isabelle |
31 |
28 |
32 hg pull -u |
29 hg pull -u |
33 |
30 |