[TxMt] Method/function list?

[Eric Hsu]

>And what the Line box does I'm not sure.

When you put the number of the correct capture register (in my case, 
the first grouping), TM recognizes it as a line, and (1) you can 
click on the line in the separate window and jump to it in your 
original window and (2) the line number isn't printed in the window.

- Eric
-- 
Eric Hsu, Assistant Professor of Mathematics
San Francisco State University
erichsu at math.sfsu.edu
http://math.sfsu.edu/hsu