# HG changeset patch
# User paulson
# Date 1713905922 -3600
# Node ID 8e168a3d2a23d2a1f3ea090298aed70d6abe3a06
# Parent  0eff7d113549ec50eba7c156032de78ca81cf066# Parent  cf11a7f0a5f0174f8caa3301e6b6241e83f36fac
merged

diff -r cf11a7f0a5f0 -r 8e168a3d2a23 Admin/Windows/Cygwin/README
--- a/Admin/Windows/Cygwin/README	Tue Apr 23 21:58:21 2024 +0100
+++ b/Admin/Windows/Cygwin/README	Tue Apr 23 21:58:42 2024 +0100
@@ -71,11 +71,6 @@
   - run ssh-host-config
 ```
     StrictMode: yes
-    privilege separation: yes
-    new local account 'sshd': yes
-    sshd as a service: yes
-    different name (than cyg_server): no
-    new privileged account cyg_server: yes
 ```
 
   - user setup
@@ -85,3 +80,8 @@
 
     passwd -R USER
 ```
+
+  - firewall
+```
+    netsh advfirewall firewall add rule name="Open SSH Port 22" dir=in action=allow protocol=TCP localport=22 remoteip=any
+```
diff -r cf11a7f0a5f0 -r 8e168a3d2a23 Admin/polyml/INSTALL-MinGW
--- a/Admin/polyml/INSTALL-MinGW	Tue Apr 23 21:58:21 2024 +0100
+++ b/Admin/polyml/INSTALL-MinGW	Tue Apr 23 21:58:42 2024 +0100
@@ -14,8 +14,7 @@
 
   pacman -S --needed --noconfirm base-devel gmp-devel mingw-w64-x86_64-toolchain mingw-w64-x86_64-gmp mingw-w64-x86_64-lapack mingw-w64-x86_64-openblas
 
-- build (as regular user) e.g. on vmnipkow9 with Cygwin-Terminal from Isabelle2018
+- build (as regular user) e.g. with Cygwin-Terminal from Isabelle2018
   (to avoid address relocation problems):
 
-    isabelle component_polyml -M /cygdrive/c/msys64 -m32 -s sha1 src
-    isabelle component_polyml -M /cygdrive/c/msys64 -m64 -s sha1 src
+    isabelle component_polyml -M /cygdrive/c/msys64