On Fri, 30 Oct 2015, Makarius wrote:
> Somehow the downloaded csdp-6.x.tar.gz came out as corrupted. Just delete
> that file and try "isabelle components -a" again.
The file csdp-6.x.tar.gz was completely empty. I followed your suggestion and
now the output showed that the different .tar.gz
On Mon, 9 Nov 2015, Anders Schlichtkrull wrote:
### Building Isabelle/Scala ...
Concurrent\simple_thread.scala:45: error: object getProperty is not a member of
package System
val m = Properties.Value.Int.unapply(System.getProperty("isabelle.threads",
"0")) getOrElse 0
Odd. I've seen
I am trying to install the repository version (f2e51e704a96) of Isabelle on
Windows 7 using Cygwin by following README_REPOSITORY.
Cygwin with Perl and Mercurial are installed, so I follow step 2 of
README_REPOSITORY:
Anders@r099121 /cygdrive/c/repo-isabelle
$ uname -a
CYGWIN_NT-6.1-WOW
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