wenzelm [Thu, 17 Jan 2013 22:43:09 +0100] rev 51977
merged
wenzelm [Thu, 17 Jan 2013 18:23:10 +0100] rev 51976
copy Cygwin-Latex-Setup.bat;
wenzelm [Thu, 17 Jan 2013 18:19:30 +0100] rev 51975
more formal Cygwin-Latex-Setup (excluding bulky texlive-collection-fontsextra, which would be required for eulervm.sty);
wenzelm [Thu, 17 Jan 2013 18:16:20 +0100] rev 51974
updated to cygwin-20130117;
wenzelm [Thu, 17 Jan 2013 17:51:43 +0100] rev 51973
proper permissions;
wenzelm [Thu, 17 Jan 2013 17:47:09 +0100] rev 51972
tuned;
wenzelm [Thu, 17 Jan 2013 17:29:02 +0100] rev 51971
updated to jdk-7u11;
huffman [Thu, 17 Jan 2013 08:31:16 -0800] rev 51970
simplify proof of compact_imp_bounded
blanchet [Thu, 17 Jan 2013 19:20:56 +0100] rev 51969
added step to skip some queries
blanchet [Thu, 17 Jan 2013 18:53:13 +0100] rev 51968
provide a means to skip a method