* 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
