*** 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
