| Fri, 30 May 2014 15:56:30 +0200 | hoelzl | better support for restrict_space | changeset | files |
| Fri, 30 May 2014 18:13:40 +0200 | nipkow | must not cancel common factors on both sides of (in)equations in linear arithmetic decicision procedure | changeset | files |
| Fri, 30 May 2014 16:10:57 +0200 | wenzelm | merged | changeset | files |
| Fri, 30 May 2014 15:34:14 +0200 | wenzelm | updated cygwin -- include perl_vendor for libwww-perl; | changeset | files |
| Fri, 30 May 2014 16:00:54 +0200 | blanchet | made 'Kuehlwein-style' be really like Python code, we now think | changeset | files |
| Fri, 30 May 2014 15:15:41 +0200 | blanchet | make SML code closer to Python code when 'nb_kuehlwein_style' is true | changeset | files |
| Fri, 30 May 2014 15:15:02 +0200 | blanchet | merge | changeset | files |