# HG changeset patch
# User wenzelm
# Date 1601637465 -7200
# Node ID 9af8124f7f0d81eca4774c24a9bd68ab21104f3a
# Parent  91f38e34aa3f246b1e687d7798a7a58b0c5156d2
clarified platforms;

diff -r 91f38e34aa3f -r 9af8124f7f0d Admin/PLATFORMS
--- a/Admin/PLATFORMS	Fri Oct 02 13:08:38 2020 +0200
+++ b/Admin/PLATFORMS	Fri Oct 02 13:17:45 2020 +0200
@@ -41,12 +41,16 @@
                     macOS 10.15 Catalina (laramac01 Macmini8,1)
 
   x86_64-windows    Windows 7
-  x86_64-cygwin     Cygwin 2.10 https://isabelle.sketis.net/cygwin_2018 (x86_64/release)
+  x86_64-cygwin     Cygwin 2.10 https://isabelle.sketis.net/cygwin_2021 (x86_64/release)
 
 All of the above platforms are 100% supported by Isabelle -- end-users
 should not have to care about the differences (at least in theory).
 
-Exotic platforms like BSD, Solaris, NixOS are not supported.
+Partial support for ARM (e.g. Raspberry Pi) is available:
+
+  arm64-linux       Ubuntu 20.04 LTS
+
+Exotic operating systems like BSD, Solaris, NixOS are unsupported.
 
 
 64 bit vs. 32 bit platform personality