From: Andreas R. <ros...@ps...> - 2001-09-25 15:06:27
|
Matthias Blume wrote: > > Well, that settles that. Sounds like "Standard ML" is soon to be officially > dead. Ideas for a new name, anyone? How about continuing a good tradition in naming PLs and call it "Robin"? :-) - Andreas |