Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
discontinued Linux 32bit platform support;
authorwenzelm
Mon, 23 Oct 2017 20:56:59 +0200
changeset 66909 9eaa9504991b
parent 66908 9b074f01a305
child 66910 20d61ffa9867
discontinued Linux 32bit platform support;
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Mon Oct 23 20:43:04 2017 +0200
+++ b/NEWS	Mon Oct 23 20:56:59 2017 +0200
@@ -66,8 +66,8 @@
 
 *** System ***
 
-* Windows and Cygwin is for x86_64 only. Old 32bit platform support has
-been discontinued.
+* 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,
isabelle