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 |
|
4 Quick start in 20min |
|
5 -------------------- |
|
6 |
|
7 1. Install Mercurial http://www.selenic.com/mercurial |
|
8 |
|
9 2. Create file $HOME/.isabelle/etc/settings and insert the following |
|
10 line near its beginning: |
|
11 |
|
12 init_components "$HOME/.isabelle/contrib" "$ISABELLE_HOME/Admin/components/main" |
|
13 |
|
14 3. Execute shell commands as follows: |
|
15 |
|
16 hg clone http://isabelle.in.tum.de/repos/isabelle |
|
17 |
|
18 ./isabelle/bin/isabelle components -a |
|
19 |
|
20 ./isabelle/bin/isabelle build -b HOL |
|
21 |
|
22 ./isabelle/bin/isabelle jedit |
|
23 |
3 |
24 |
4 Introduction |
25 Introduction |
5 ------------ |
26 ------------ |
6 |
27 |
7 Mercurial http://www.selenic.com/mercurial belongs to the current |
28 Mercurial http://www.selenic.com/mercurial belongs to the current |