Subject: GUI

Keywords: ::proof
          ::search
          ::navigation

Title: Proof Search Tool

--------------------------------------------------
(cm-a)pss will set a search term to be term at point
(cm-a)psr will search for that term in proof in current window. 
(cm-a)ps will search in proof you are in for term at point 

Placeholders in search term are treated as wildcards.
In the window that pops up, you can edit search term and then Refresh*
will redo the search with the new pattern.

The results will be a list of addresses where the search term occurs
in the goal.
Then you can middle click on the @ of the address to jump there.⋅
--------------------------------------------------

Authors: 

Contributors: MARK:t

⋅

Home