[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: [mizar] License for MML



Michael:

>      my understanding of this is that BSD and GPL work well
>      for code,

The MML consists for almost 100% of code.  There hardly
even are comments.

Freek