Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Here’s the link: Formula Search. (You have to select “Markdown+Itex” below the textbox for links to work.)
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?
The MathWebSearch have created a new version. See Searching the nLab for more information. It seems to work quite well.
1 to 4 of 4