Admin/Windows/Cygwin/README

   http://isabelle.in.tum.de/cygwin_2015  (Isabelle2015)
   http://isabelle.in.tum.de/cygwin_2016  (Isabelle2016)
   http://isabelle.in.tum.de/cygwin_2016  (Isabelle2016-1)
 
 * Quasi-component: "isabelle makedist_cygwin" (as administrator)
+
+* SSH server:
+
+  - run Cygwin terminal as Administrator
+
+  - 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
+
+  - mkpasswd -l > /etc/passwd
+    mkgroup -l > /etc/group
+
+    passwd -R USER