search

digama0 / mmj2

mmj2 GUI Proof Assistant for the Metamath project
GNU General Public License v2.0
72 stars 24 forks source link

Tutorial: Add a page about general search #25

Closed david-a-wheeler closed 4 years ago

david-a-wheeler commented 4 years ago

Add a new page to the tutorial, Page504.mmp, which explains general search. The mmj2 search form is complicated, so having a little walkthrough to explain it seems appropriate.

Signed-off-by: David A. Wheeler dwheeler@dwheeler.com

david-a-wheeler commented 4 years ago

@digama0 - I think we're nearing the end. But search is a common need, so I thought a page on it would be appropriate.