Use the options on the Proxy Settings page of the Micromine Advance Settings window, to set proxy settings for a Proxy Server.
