Deploy updated Isac Kernel

Deploy updated Isac Kernel

Some updates of the Isac kernel, i.e. Isabelle/Isac, require an update of the installation on the Java-side established by Setup_isac-java.

Java developers follow Update_MathEngine and these steps provide the respective data:

src/Tools src/Tools/isac
 * (1.1) in /ROOTS outcomment test session (tests are not bundled for frontend)
 * 1) test/Tools/isac/ADDTESTS/session-get_theory/

$ tar cvfz isac2015.tgz libisabelle-protocol/ ROOTS src/Pure/thm.ML src/Tools/isac/
 * (1.2) Bundle respective code in Isabelle/Isac

$ scp isac2015.tgz wneuper@gw.ist.tugraz.at:/netshares/www/ist.tugraz.at-htdocs/projects/isac/www/download
 * (1.3) Move the bundle to the download area

src/Doc src/Tools src/Tools/isac test/Tools/isac/ADDTESTS/session-get_theory/
 * (1.4) Reactivate test session :