The wiki's page search seems to only search by page keyword

FStarLang / FStar

A Proof-oriented Programming Language

https://fstar-lang.org

Apache License 2.0

2.7k stars 234 forks source link

The wiki's page search seems to only search by page keyword #3603

Open briangmilnes opened 2 weeks ago

briangmilnes commented 2 weeks ago

The docs suggest that this should work. I can't see where page search is configured. But it should find all pages that have any keyword by default please.