--- a/README_REPOSITORY Mon Dec 31 14:58:21 2012 +0100
+++ b/README_REPOSITORY Mon Dec 31 15:56:17 2012 +0100
@@ -4,28 +4,25 @@
Quick start in 25min
--------------------
-1a. Windows: ensure that Cygwin with Mercurial and Perl is installed;
- see also http://www.cygwin.com/
-
-1b. Mac OS X and Linux: ensure that Mercurial (hg) is installed; see
+1a. Linux and Mac OS X: ensure that Mercurial (hg) is installed; see
also http://www.selenic.com/mercurial
-2. Create file $HOME/.isabelle/etc/settings and insert the following
- line near its beginning:
+1b. Windows: ensure that Cygwin with Mercurial and Perl is installed;
+ see also http://www.cygwin.com/
- init_components "$HOME/.isabelle/contrib" "$ISABELLE_HOME/Admin/components/main"
-
-3. Execute bash shell commands as follows:
+2. Clone repository (bash shell commands):
hg clone http://isabelle.in.tum.de/repos/isabelle
cd isabelle
+ ./bin/isabelle components -I
+
./bin/isabelle components -a
./bin/isabelle jedit -l HOL
-4. To stay up-to-date later on, pull changes like this:
+3. Update repository (bash shell commands):
cd isabelle