On 7/6/2012 7:05 AM, Makarius wrote:
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.
That might be worth a try for me. MiKTeX is set to ask me if I want it
to go retrieve an uninstalled package, so I guess TeXLive might do the
same thing.
MiKTeX has a portable install that you could put under your contrib, and
then call into it with Java. It's download size is 157 megabytes.
http://miktex.org/portable/about
But switching from teTex is trivial compared to porting Poly/ML to a
native Windows.
You need a big grant from the Templeton Foundation:
http://www.templeton.org/what-we-fund/core-funding-areas
http://www.templeton.org/what-we-fund/core-funding-areas/science-and-the-big-questions/mathematical-and-physical-sciences
<http://www.templeton.org/what-we-fund/core-funding-areas>Spin it that
the new action in abstract, non-applied, proof-emphasized mathematics is
going to be driven by automated proof checking. That's the way it's
gonna be. Research into numerical analysis and numerical solutions
consumes much of the resources in mathematics departments; it's part of
the PC revolution.
It's a waste of everyone's time for proofs to be "pencil and paper" from
beginning to end. Tell the Templeton Foundation that, and you might get
a grant, or maybe not.
Regards,
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
