* 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 versions.
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 summer.
Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev