Fix kernel installation

These notes are for the case the working directory /usr/local/isabisacXX of Isabelle/Isac does not work anymore.

Since Isabelle2015 we notice, that an Isabelle bundle unpacked to a directory xxx and treated according to installation, this creates an entry ~/.isabelle/xxx holding the installation data.

So we start from scratch:

~/repos$ rm -rf isabisacXX ... download to ~/tmp ... ~/tmp$ mv Isabelle20XX ~/repos/isabisacXX
 * (a) start from a fresh download of Isabelle20XX


 * (b) install according to the standard procedure into /usr/local/Isabelle20XX

$ sudo chown -R MYUSERNAME ../isabisacXX $ sudo chgrp -R MYUSERNAME ../isabisacXX $ sudo chmod -R u+w *
 * (c) check if owner and group are set correctly, otherwise

$ meld /usr/local/isabisacXX/ /usr/local/IsabelleXX from IsabelleXX to isabisacXX except these differences IsabelleXX                  isabisacXX ///                         doc-isac etc/settings                etc/settings              # defines ~/.isabelle/isabisacXX !!! lib/Tools/version           lib/Tools/version         # irrelevant lib/scripts/getsettings     lib/scripts/getsettings   # irrelevant ///                         libisabelle-protocol src/Pure/Tools/ROOT.ML      src/Pure/Tools/ROOT.ML    # defines appearance src/Pure/Tools/ROOT.scala   src/Pure/Tools/ROOT.scala # defines appearance src/Pure/thm.ML             src/Pure/thm.ML           # defines Isac's hooks in Isabelle ///                         src/Tools/isac ///                         test/Tools/isac ///                         .hgignore ///                         .hgtags ///                         CLEANUP ///                         README                    # irrelevant ///                         README_REPOSITORY         # irrelevant ///                         README_WN                 # irrelevant ///                         xcoding-to-test ///                         xtest0to-coding ///                         zcoding-to-test ///                         ztest0to-coding Don't forget to copy from IsabelleXX to isabisacXX Isabelle20XX Isabelle20XX.run
 * (d) manually compare and copy each different file, including *.jar:

~/.isabelle/$ rm -rf isabisabXX
 * (e) delete previous installation data, which might interfere with above changes

/usr/local/isabisacXX$ ./bin/isabelle jedit & which also generates ~/.isabelle/isabisacXX again.
 * (f) restart the cleaned old working directory