[isabelle-dev] Repository version of Isabelle on Windows 7

Makarius makarius at sketis.net
Fri Oct 30 18:38:52 CET 2015

On Fri, 30 Oct 2015, Anders Schlichtkrull wrote:

> Unpacking "/cygdrive/c/Users/Anders/.isabelle/contrib/csdp-6.x.tar.gz"
> tar: This does not look like a tar archive
> gzip: stdin: unexpected end of file
> tar: Child returned status 1
> tar: Error is not recoverable: exiting now
> You see that I get an error. Why does this happen and what can I do to solve the problem?

Somehow the downloaded csdp-6.x.tar.gz came out as corrupted.  Just delete 
that file and try "isabelle components -a" again.

If the problem persists, you should look more closely at the content of 


More information about the isabelle-dev mailing list