1.1 --- a/README_REPOSITORY	Wed Jul 21 09:59:35 2010 +0200
     1.2 +++ b/README_REPOSITORY	Wed Jul 21 13:53:39 2010 +0200
     1.3 @@ -1,3 +1,34 @@
     1.4 +100721 download Isabelle repository + install runnable system
     1.5 +===========================================================WN
     1.6 +
     1.7 +# clone the repository
     1.8 +  /usr/local$ sudo hg clone http://isabelle.in.tum.de/repos/isabelle isabisac
     1.9 +  /usr/local/isabisac$ sudo chown -r neuper *             #become owner
    1.10 +  		       hg update -C Isabelle2009-2        #go to release
    1.11 +		       hg branch isac-from-Isabelle2009-2 #make branch
    1.12 +		       hg ci                              #commit
    1.13 +
    1.14 +# download Isabelle2009-2 distribution, cp missing dirs to repository
    1.15 +  ~/Downloads/Isabelle2009-2$ sudo cp -r contrib/ /usr/local/isabisac/
    1.16 +  			      sudo cp -r heaps/ /usr/local/isabisac/
    1.17 +  /usr/local$ ln -s isabisac Isabelle
    1.18 +
    1.19 +  export SCALA_HOME=/usr/local/isabisac/contrib/scala-2.8.0.RC5
    1.20 +  isabisac/Admin$ ./build jars
    1.21 +
    1.22 +  !test runnable distribution!
    1.23 +
    1.24 +# insert the isac-hooks in Pure/thm.ML into isabelle
    1.25 +  hg ci
    1.26 +
    1.27 +# cp isac into the repository
    1.28 +  ...$ cp -r isac /usr/local/isabisac/src/Pure
    1.29 +  hg add .......................
    1.30 +  hg ci
    1.31 +
    1.32 +
    1.33 +
    1.34 +
    1.35  Important notes on Mercurial repository access for Isabelle
    1.36  ===========================================================
    1.37