fsharp/fsharpbinding — pull request #178 by 7sharp9 (2013-07-02 10:59:39+00:00)
Title: ResolverProvider cleanup, tooltip improvements

Removed old code in ResolverProvider
Improved Tooltip size