The MathWebSearch have created a new version. See Searching the nLab for more information. It seems to work quite well.
]]>I haven’t tried it yet, but that sounds pretty cool! Now we have three options for searching the nlab: google, built-in, and formula. Maybe the search box at the top of each page should have a drop-down box next to it to select the kind of search?
]]>Here’s the link: Formula Search. (You have to select “Markdown+Itex” below the textbox for links to work.)
]]>