/Admin/Windows/Cygwin/
drwxr-xr-x [up]
drwxr-xr-x isabelle
-rwxr-xr-x 2014-04-25 20:07 +0200 304 Cygwin-Latex-Setup.bat
-rwxr-xr-x 2014-04-25 20:07 +0200 183 Cygwin-Setup.bat
-rwxr-xr-x 2014-04-25 20:07 +0200 246 Cygwin-Terminal.bat
-rw-r--r-- 2014-04-25 20:07 +0200 389 README