Thu, 16 Dec 2010 11:31:06 +0100 | bulwahn | reactivating nitpick in Mutabelle | changeset | files |
Thu, 16 Dec 2010 09:40:15 +0100 | haftmann | more appropriate closures for static evaluation | changeset | files |
Thu, 16 Dec 2010 09:28:19 +0100 | haftmann | more uniform naming | changeset | files |