[isabelle-dev] Isabelle_25-Sep-2013 integration test

[Peter Lammich]

I cannot unpack the tar-file. My Linux (Ubuntu 12.04.2 LTS) gives me a
bunch of error messages:

tar: Ignoring unknown extended header keyword `SCHILY.ino'
tar: Ignoring unknown extended header keyword `SCHILY.nlink'
tar: Ignoring unknown extended header keyword `SCHILY.dev'
...

And the unpacked folder does not contain all necessary files, on
startup, isabelle tells me:

Unknown logic "HOL" -- no heap file found in:
  /home/lammich/.isabelle/Isabelle_25-Sep-2013/heaps/polyml-5.5.1_x86-linux
  /home/lammich/opt/Isabelle_25-Sep-2013/heaps/polyml-5.5.1_x86-linux


Best,
  Peter