| Wed, 02 Feb 2011 12:34:45 +0100 | hoelzl | the measure valuation is again part of the measure_space type, instead of an explicit parameter to the locale; | changeset | files |
| Wed, 02 Feb 2011 10:35:41 +0100 | bulwahn | merged | changeset | files |
| Wed, 02 Feb 2011 10:34:14 +0100 | bulwahn | scala serializer adds parentheses around function literals | changeset | files |