On 6/24/2012 2:49 PM, Makarius wrote: > Note that since the start of the year 2012, Cygwin poses some challanges > to Poly/ML with sockets + multithreading in combination. For this reason, > I shall reconsider this basis and try to use Poly/ML compiled with MinGW > natively on Windows. This will certainly pose new issues...
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. At http://ctan.org/pkg/tetex, it says: In 2006, Thomas Esser announced he would no longer be able to support, or to produce new versions of, teTeX. With the appearance of TeX live 2007 (whose Unix-system TeX support originally derived from teTeX), no-one should be using teTeX at all, in new applications. I haven't installed tetex-extra to be able to build the PDF documents for Isabelle2012. For Isabelle2011, it worked. I think I manually placed a few packages in the teTeX texmf folder. 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. But calling commands like "isabelle jedit" or "isabelle browser" is pretty transparent. I wouldn't want to do without Cygwin without a replacement for it. I still have a different copy of Cygwin installed for Isabelle2011-1. I haven't done anything to change the setup for ~~/contrib/cygwin-1.7.9. All I did was find out what the new path to bash is. --Gb ------------------------------------------------------------------------------ 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
