Guys, when Matthew was here we discussed the balance of changes and name changes, and I think all of us agreed that some change is good but easy migration must be the overriding goal. Keep this in mind please -- Matthias
_________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
