*** System *** * Linux and Windows/Cygwin is for x86_64 only. Old 32bit platform support has been discontinued.
* Java runtime is for x86_64 only. Corresponding Isabelle settings have been renamed to ISABELLE_TOOL_JAVA_OPTIONS and JEDIT_JAVA_OPTIONS, instead of former 32/64 variants. INCOMPATIBILITY. This refers to Isabelle/9eaa9504991b. It is the official end of platforms with 32bit architecture. Linux, Windows, Mac OS X (whatever its name) all need to be 64bit systems now. Of course, some special tools may still use x86 internally. Poly/ML is the main example for that. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev