Changes between Version 5 and Version 6 of BrowserTips


Ignore:
Timestamp:
Jun 22, 2015 1:52:43 PM (2 months ago)
Author:
thomie
Comment:

Add wiki search

Legend:

Unmodified
Added
Removed
Modified
  • BrowserTips

    v5 v6  
    3030database using Google, which is much faster than Trac's search.
    3131
     32== Searching the wiki ==
     33
     34Add a new bookmark/entry, with
     35{{{
     36Name: [w] GHC wiki search
     37Location/URL: http://www.google.com/search?q=%s site:ghc.haskell.org/trac/ghc/wiki
     38Keyword: w
     39}}}
     40
    3241== Searching for emails ==
    3342