Re: RefStyle Patch

Richard Heck a écrit :

I'm not seeing the difference....

Anyway, I'm going to do the other thing I suggested, I think.


The problem with ":" has vanished, but theorems are now unknown:
?? is returned in my bug #6609 example.

--
Jean-Pierre

Reply via email to