Admin/Windows/Cygwin/README
author wenzelm
Wed Nov 20 23:00:18 2013 +0100 (2013-11-20)
changeset 54639 5adc68deb322
parent 53663 62f42e9ec0f3
child 57027 80ffda443738
permissions -rw-r--r--
updated to Isabelle2013-2;
wenzelm@50984
     1
Cygwin
wenzelm@50984
     2
======
wenzelm@41669
     3
wenzelm@41669
     4
* http://www.cygwin.com/
wenzelm@41669
     5
wenzelm@47873
     6
* Mirror with many old versions (not setup.ini)
wenzelm@47696
     7
  http://ftp.eq.uc.pt/software/pc/prog/cygwin
wenzelm@47696
     8
wenzelm@50984
     9
* Local snapshots:
wenzelm@50984
    10
  http://isabelle.in.tum.de/cygwin  (Isabelle2012)
wenzelm@50984
    11
  http://isabelle.in.tum.de/cygwin_2013  (Isabelle2013)
wenzelm@54639
    12
  http://isabelle.in.tum.de/cygwin_2013-1  (Isabelle2013-1 and Isabelle2013-2)
wenzelm@47696
    13
wenzelm@50984
    14
* Quasi-component: "isabelle makedist_cygwin"
wenzelm@47696
    15