Re: @; and @by

Hi Piotr,

>and considering the small cost of implementation

If Mizar were open source you might try implementing this
feature yourself, and then we would have two incompatible
versions of Mizar that then would have to be merged :-)

So what is the status of this?  I think Josef told me that
there are serious plans to open source Mizar?  Can anyone
tell me about this?  Or is the Mizar source already open
and I just missed this happening?

Freek