What browser are you using ? I would recommend you use firefox to browse through your proxy server, and not play with the system's proxy settings as far as possible, in either case resetting the proxy should change it back to normal and there should not be a need to do anything extra then undoing what you did earlier to put those proxy servers in the first place. However, searching through google it seems that this behavior has been there since long and what everest suggested is an easy way.
On another note, if at your campus, you administer the proxy server, try running a transparent proxy server, this way a user would not be required to change anything at their end.
Regards,
Gaurav