Hi Florian,
many issues have been touched in this thread, but I would like to get
back to the proposals made by Jasmin which IMHO point into the right
direction.
Thanks for your comments. The current syntax (as per dc0b4f50e288) is
datatype_new (set: 'a) list (map: map rel: list_all2) =
* 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
