Hello, all.
As the primary administrator of SML-DEV mailing list, I am disabling
SML-DEV message posting for now for two reasons:
1. SML-DEV activities have slowed considerably.
2. Proliferation of spam through SML-DEV.
I am not going to delete the group to preseve posted messages,
papers, and links.
Best,
Don Park
Docuverse