[Mono-list] gtkhtml-sharp?

[Kendall Shaw]

Hi,

(Thanks someone for help with refactoring in monodevelop)

Where can I find gtkhtml-sharp source? I read old email saying it is 
part of gtk-sharp, but that mentioned nothing about gtkhtml when I built 
it, with libgtkhtml development packages, on fedora 19.

I am building from source so that  I can use f#. The immediate problem 
is that I am trying to get help to work in monodevelop (it says I need a 
newer version of monodoc). I've read that to install mono-tools in that 
case. And, mono-tools says it is not using GtkHtml.

Kendall