121010 update Isabelle2011-->Isabelle2012.

 The notes below will be transferred to

 http://www.ist.tugraz.at/isac/index.php/Update_Isabelle_version#Step_4:_Make_the_working_directory_run

 ===========================================================WN

 * (4.1) First lookup the notes at the end of Isabelle20xx/README_REPOSITORY, which are marginal but might have changed.

 * (4.2) 

 $ sudo cp -rf Isabelle2012 Isabelle2012-orig

 ---------------------------------------------/

 theory Scratch imports Main begin

 ML {* 1 *}

 end

 ---------------------------------------------/

 Isabelle2012-orig$ sudo bin/isabelle jedit test/Tools/isac/Test_2012.thy &

 Isabelle2012$ sudo bin/isabelle jedit test/Tools/isac/Test_2012.thy &

 Isabelle2012$ sudo rm -rf src/   NO: changing meta-information detected

 Isabelle2012$ sudo rm -rf test/

 $ sudo cp -rf isabisac/.hg* Isabelle2012/

 and as long as 'hg st' reports differences:

 $ sudo cp -rf isabisac/src/ Isabelle2012/

 $ sudo cp -rf isabisac/test/ Isabelle2012/

 neuper@neuper:/usr/local/isabisac$ ls -la

 total 516

 drwxr-xr-x 12 neuper root     4096 Oct 10 17:28 .

 drwxr-xr-x 26 root   root     4096 Oct 10 17:33 ..

 drwxr-xr-x 13 neuper root     4096 Sep 24 17:55 Admin

 -rw-r--r--  1 neuper neuper   1193 Sep 24 17:55 ANNOUNCE

 drwxr-xr-x  2 neuper root     4096 Sep 24 18:15 bin

 -rwxr-xr-x  1 neuper root     3402 Sep 24 17:51 build

 drwxr-xr-x 13 neuper neuper   4096 Oct 10 15:37 contrib

 -rw-r--r--  1 neuper neuper  13572 Sep 24 17:55 CONTRIBUTORS

 -rw-r--r--  1 neuper neuper   1668 Sep 24 17:55 COPYRIGHT

 drwxr-xr-x  2 neuper root     4096 Sep 24 17:55 doc

 drwxr-xr-x 23 neuper root     4096 Sep 24 18:15 doc-src

 drwxr-xr-x  2 neuper neuper   4096 Oct 10 15:41 etc

 drwxr-xr-x  4 neuper root     4096 Oct 10 17:23 .hg

 -rw-r--r--  1 neuper neuper   1484 Sep 24 18:15 .hgignore

 -rw-r--r--  1 neuper neuper   1782 Sep 24 17:55 .hgtags

 -rw-r--r--  1 neuper neuper   2709 Sep 24 18:15 INSTALL

 -rwxr-xr-x  1 neuper neuper    132 Oct 10 13:09 Isabelle

 drwxr-xr-x 12 neuper root     4096 Oct 10 12:24 lib

 -rw-r--r--  1 neuper neuper 393697 Sep 24 17:55 NEWS

 -rw-r--r--  1 neuper neuper   2483 Sep 24 17:55 README

 -rw-r--r--  1 neuper neuper  12415 Oct 10 17:22 README_REPOSITORY

 drwxr-xr-x 14 neuper root     4096 Sep 24 17:51 src

 drwxr-xr-x  4 neuper neuper   4096 Sep 24 18:15 test

 ===========================================================WN

 100721 download Isabelle repository + install runnable system

 ===========================================================WN

 # clone the munich repository

  #/usr/local$ sudo hg clone http://isabelle.in.tum.de/repos/isabelle isabisac

 # clone the IST repository

   /usr/local$ sudo hg clone -U https://intra.ist.tugraz.at/hg/isa/ isabisac #changesets

    /usr/local/isabisac$ sudo hg update -C 875b6efa7ced    #from tip ??why nothttps://.. 

   /usr/local/isabisac$ sudo chown -R neuper *             #become owner

   		       hg update -C Isabelle2009-2        #go to release

 		       hg branch isac-from-Isabelle2009-2 #make branch

 		       hg ci                              #commit

 # download Isabelle2009-2 distribution, cp missing dirs to repository

   ~/Downloads/Isabelle2009-2$ sudo cp -r contrib/ /usr/local/isabisac/

   			      sudo cp -r heaps/ /usr/local/isabisac/

   /usr/local$ ln -s isabisac Isabelle

   export SCALA_HOME=/usr/local/isabisac/contrib/scala-2.8.0.RC5

   isabisac/Admin$ ./build jars

   !test runnable distribution!

 # insert the isac-hooks in Pure/thm.ML into isabelle

   hg ci

 # cp isac into the repository

   ...$ cp -r isac /usr/local/isabisac/src/Pure

   hg add .......................

   hg ci