isabelle: Changelog

wenzelm [Thu, 17 Jan 2013 18:23:10 +0100] rev 50961

copy Cygwin-Latex-Setup.bat;

wenzelm [Thu, 17 Jan 2013 18:19:30 +0100] rev 50960

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 50959

updated to cygwin-20130117;

wenzelm [Thu, 17 Jan 2013 17:51:43 +0100] rev 50958

proper permissions;

wenzelm [Thu, 17 Jan 2013 17:47:09 +0100] rev 50957

tuned;

wenzelm [Thu, 17 Jan 2013 17:29:02 +0100] rev 50956

updated to jdk-7u11;

huffman [Thu, 17 Jan 2013 08:31:16 -0800] rev 50955

simplify proof of compact_imp_bounded

blanchet [Thu, 17 Jan 2013 19:20:56 +0100] rev 50954

added step to skip some queries

blanchet [Thu, 17 Jan 2013 18:53:13 +0100] rev 50953

provide a means to skip a method

blanchet [Thu, 17 Jan 2013 18:43:59 +0100] rev 50952

evaluate more cases (cf. paper)

isabelle