Re: [isabelle] (Unexpected) Problems with isabelle make on Windows/Cygwin
On Thu, 11 Oct 2012, Alfio Martini wrote:
Although I will still keep using JEdit/Isabelle in the W7 setup (it is
just me or does the jEdit interface looks much nicer in windows that in
the linux environment?),
The 2D rendering engine of Java is a bit better on Windows by default.
Speaking of Isabelle2012, it is still classic Java 1.6. The situation
might change again for Java 1.7.
when running "isabelle jedit" in Linux i get the following error message
(failed to start Isabelle Process: Return Code 127).
In the "Prover Session/Syslog" there was only this message:
Error code 127;
In principle there should be more error text somewhere. 127 alone means
that the executable is somehow broken. You might have 64bit Linux with
the 32bit version of Isabelle2012. You either need to get the native
64bit version, or install the missing 32bit shared libraries for C/C++ on
For the next release, there will be just a "Linux" download both for
This archive was generated by a fusion of
Pipermail (Mailman edition) and