| Thu, 17 Jan 2013 23:00:20 +0100 | wenzelm | merged | changeset | files |
| Thu, 17 Jan 2013 22:43:09 +0100 | wenzelm | merged | changeset | files |
| Thu, 17 Jan 2013 18:23:10 +0100 | wenzelm | copy Cygwin-Latex-Setup.bat; | changeset | files |
| Thu, 17 Jan 2013 18:19:30 +0100 | wenzelm | more formal Cygwin-Latex-Setup (excluding bulky texlive-collection-fontsextra, which would be required for eulervm.sty); | changeset | files |
| Thu, 17 Jan 2013 18:16:20 +0100 | wenzelm | updated to cygwin-20130117; | changeset | files |
| Thu, 17 Jan 2013 17:51:43 +0100 | wenzelm | proper permissions; | changeset | files |
| Thu, 17 Jan 2013 17:47:09 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 17 Jan 2013 17:29:02 +0100 | wenzelm | updated to jdk-7u11; | changeset | files |
| Thu, 17 Jan 2013 08:31:16 -0800 | huffman | simplify proof of compact_imp_bounded | changeset | files |
| Thu, 17 Jan 2013 19:20:56 +0100 | blanchet | added step to skip some queries | changeset | files |
| Thu, 17 Jan 2013 18:53:13 +0100 | blanchet | provide a means to skip a method | changeset | files |
| Thu, 17 Jan 2013 18:43:59 +0100 | blanchet | evaluate more cases (cf. paper) | changeset | files |
| Thu, 17 Jan 2013 17:55:03 +0100 | blanchet | updated MaSh | changeset | files |
| Thu, 17 Jan 2013 17:55:02 +0100 | blanchet | make SPASS more configurable, for experiments | changeset | files |