On 1/20/10 10:13 PM, Hoikwang Kim wrote:
Thanks for replying. I've attached the pf.sty file. It is basically
defining new mathematical proof environment. It is designed by Leslie
Lamport, one of original Latex developers. You can find more
information at Leslie Lamport's website
<http://research.microsoft.com/en-us/um/people/lamport/latex/latex.html>.
I really want to implement it in Lyx, but got stuck at this point. I
really appreciate you guy's help!
So how far did you get? What was the problem? It's hard to help you if
all you say is you wanted to implement pf.sty and you had a problem.
rh
