/Admin/Windows/Cygwin/
drwxr-xr-x [up]
drwxr-xr-x isabelle
-rwxr-xr-x 2013-01-20 13:59 +0100 302 Cygwin-Latex-Setup.bat
-rwxr-xr-x 2013-01-20 13:59 +0100 181 Cygwin-Setup.bat
-rwxr-xr-x 2013-01-20 13:59 +0100 246 Cygwin-Terminal.bat
-rw-r--r-- 2013-01-20 13:59 +0100 310 README