Thu, 16 Dec 2010 11:31:07 +0100 | bulwahn | added nitpick to mutabelle script | changeset | files |
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 |