~ben/pprjam-users

[ANN] New search page

Details
Message ID
<20181014165815.uh5utt6v7x7bumlv@lithium>
DKIM signature
pass
Download raw message
This morning I deployed a new search page, with instructions on how to use
search properly. Check it out! 

    http://pprjam.com/search

Search is important. If you can't find what you're searching for, it's
considered a bug. Send an email to this list or to me directly with the paper
you are trying to find, and I will fix it.

Also, the search instructions could probably use some improvements. If something
isn't clear, let me know and I will fix.

Thanks and have a good weekend!
Ben