[isabelle-dev] NEWS: support for regular TeX installation on Windows

Makarius makarius at sketis.net
Wed May 28 19:53:27 CEST 2014

* Windows: support for regular TeX installation (e.g. MiKTeX) instead
of TeX Live from Cygwin.

This refers to Isabelle/bf5ddf4ec64b.  In the coming release there will be 
just a link to some regular MiKTeX download site like 
http://www.ctan.org/tex-archive/systems/win32/miktex -- no longer any 
special script to install tons of Cygwin packages for TeXLive.

Thus Windows users become more equal to Mac OS X and Linux users, where 
the LaTeX installation is taken as is from the local system, but it also 
means the same LaTeX installation can be re-used for several Isabelle 

The following Isabelle snapshot 
http://www4.in.tum.de/~wenzelm/unofficial/UITP2014 may be used for testing 
-- it happens to include many other updates of contributing components, 
including a fresh Cygwin snapshot from some weeks ago.

The URL above also provides application bundles for Linux and Mac OS X, so 
it may be taken as a very early integration test of the release this 


More information about the isabelle-dev mailing list