update eiffel version
proxy stuff
X stuff
mercurial config