On Wed, 27 Jun 2012, Gottfried Barrow wrote: > An issue being migrating off of teTeX, if you want to completely get off > of Cygwin. > > In Cygwin setup, it shows tetex-extra at version 3.0.0-3. > > At http://www.tug.org/tetex/, it says: > > I (Thomas Esser) have decided not to make new releases of teTeX any > more (May 2006). The information below might get out of date as time > goes by. > > But I have batch files and scripts to compile highlighted sections of > LaTeX with MiKTeX. To compile LaTeX through "isabelle latex" would > complicate things, and then Cygwin teTeX being old complicates things, > so I stick with what's been working for me, but someday I might want > antiquotations.
http://www.tug.org/texlive/ seems to support Cygwin directly by its own installer, without going through the Cygwin package management. So it might be worth trying that. > I haven't done anything to change the setup for ~~/contrib/cygwin-1.7.9. Cygwin from 2012 poses some challenges to threads and sockets in Poly/ML, rendering it quite unstable for big applications. This is why I have downgraded to cygwin-1.7.9 from spring 2011. I hope to pick up this loose thread again together with David Matthews. It is one of the motivations to take Poly/ML on MinGW into account more seriously. Another would be native x86_64 support that is still unavaible for Cygwin after so many years. This might be also relevant to HOL maintainers, who want to move towards more serious support of Poly/ML and Windows. Makarius ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
