Mon, 12 Sep 2011 09:45:53 +0200 | bulwahn | tuned some symbol that probably went there by some strange encoding issue | changeset | files |
Mon, 12 Sep 2011 11:05:32 +0200 | blanchet | added my contributions to NEWS and CONTRIBUTORS | changeset | files |
Mon, 12 Sep 2011 10:49:37 +0200 | blanchet | fixed type intersection (again) | changeset | files |
Mon, 12 Sep 2011 10:49:37 +0200 | blanchet | consistent option naming | changeset | files |
Mon, 12 Sep 2011 09:07:23 +0200 | nipkow | NEWS fastsimp -> fastforce | changeset | files |
Mon, 12 Sep 2011 07:55:43 +0200 | nipkow | new fastforce replacing fastsimp - less confusing name | changeset | files |
Sun, 11 Sep 2011 22:56:05 +0200 | wenzelm | merged | changeset | files |