Cygwin with Latex according to Cygwin-Latex-Setup.bat (presently unused);
Cygwin with Latex according to Cygwin-Latex-Setup.bat (presently unused);

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle