equal
deleted
inserted
replaced
64 theorem. |
64 theorem. |
65 |
65 |
66 |
66 |
67 *** System *** |
67 *** System *** |
68 |
68 |
69 * Windows and Cygwin is for x86_64 only. Old 32bit platform support has |
69 * Linux and Windows/Cygwin is for x86_64 only. Old 32bit platform |
70 been discontinued. |
70 support has been discontinued. |
71 |
71 |
72 * Java runtime is for x86_64 only. Corresponding Isabelle settings have |
72 * Java runtime is for x86_64 only. Corresponding Isabelle settings have |
73 been renamed to ISABELLE_TOOL_JAVA_OPTIONS and JEDIT_JAVA_OPTIONS, |
73 been renamed to ISABELLE_TOOL_JAVA_OPTIONS and JEDIT_JAVA_OPTIONS, |
74 instead of former 32/64 variants. INCOMPATIBILITY. |
74 instead of former 32/64 variants. INCOMPATIBILITY. |
75 |
75 |