Admin/polyml/polyml
2009-11-21 wenzelm 2009-11-21 minimal Poly/ML startup script;