# HG changeset patch
# User wenzelm
# Date 1347545420 -7200
# Node ID 01d2d01bf9d1e4b3296ed6c632fda09b9258ec20
# Parent  d4768cb77a698a4656899a43ddd1e09a3487d129
instructions for quick start in 20min;

diff -r d4768cb77a69 -r 01d2d01bf9d1 README_REPOSITORY
--- a/README_REPOSITORY	Thu Sep 13 16:09:35 2012 +0200
+++ b/README_REPOSITORY	Thu Sep 13 16:10:20 2012 +0200
@@ -1,6 +1,27 @@
 Important notes on Mercurial repository access for Isabelle
 ===========================================================
 
+Quick start in 20min
+--------------------
+
+1. Install Mercurial http://www.selenic.com/mercurial
+
+2. Create file $HOME/.isabelle/etc/settings and insert the following
+   line near its beginning:
+
+    init_components "$HOME/.isabelle/contrib" "$ISABELLE_HOME/Admin/components/main"
+
+3. Execute shell commands as follows:
+
+    hg clone http://isabelle.in.tum.de/repos/isabelle
+
+    ./isabelle/bin/isabelle components -a
+
+    ./isabelle/bin/isabelle build -b HOL
+
+    ./isabelle/bin/isabelle jedit
+
+
 Introduction
 ------------