It worked for me this morning. Tobias
Am 17/09/2013 12:28, schrieb Lars Hupel: > I was trying to update to the repository version today, but: > > $ bin/isabelle components -a > ### Missing Isabelle component: "/home/lars/.isabelle/contrib/jdk-7u40" > Getting "http://isabelle.in.tum.de/components/jdk-7u40.tar.gz"; > Unpacking "/home/lars/.isabelle/contrib/jdk-7u40.tar.gz" > tar: Skipping to next header > tar: A lone zero block at 840553 > tar: Exiting with failure status due to previous errors > > I can reproduce that problem locally and on macbroy20. This problem didn't > occur for people who updated on Friday, where the update to 7u40 was > introduced. > _______________________________________________ > isabelle-dev mailing list > isabelle-...@in.tum.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev > _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
