Thanks Benoit and Norm!
I will try to fix this behaviour of +/- button. (it happens in all browsers)
Best regards,
Igor
воскресенье, 20 декабря 2020 г. в 17:35:35 UTC+1, Norman Megill:
> On Sunday, December 20, 2020 at 11:13:33 AM UTC-5 Norman Megill wrote:
>
>> I like this very much. I
On Sunday, December 20, 2020 at 11:13:33 AM UTC-5 Norman Megill wrote:
> I like this very much. I think I will add a variable to the $t statement
> in set.mm so your base URL can be maintained there, instead of being
> hard-coded in metamath.exe. (And Thierry's structured version also, which
I like this very much. I think I will add a variable to the $t statement
in set.mm so your base URL can be maintained there, instead of being
hard-coded in metamath.exe. (And Thierry's structured version also, which
is currently hard-coded.) Give me a week or so.
An observation (in Chrome
