[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
[mizar] Fwd: Fwd: License for MML
- To: mizar-forum@mizar.uwb.edu.pl
- Subject: [mizar] Fwd: Fwd: License for MML
- From: Josef Urban <josef.urban@gmail.com>
- Date: Sun, 21 Feb 2010 19:37:44 +0100
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type; b=tEftZ45yvCfLo9O/KDh7giSV8hB0O+yWIncFfZRTvsspV6zQZi/Uks3c6W1oQRejR0 pVMlPuth6o1fCh7R89VPsjul/8qt6B/ct0YZjfss8hzLwMnf87NARRG130t/UogXSIj5 7Pm19j/KvG5Tj+/Z9m8pfyjlfzvj54rv4v9L0=
Correction about the Isabelle AFP from Tobias Nipkow (LGPL != GPL):
---------- Forwarded message ----------
From: Tobias Nipkow <nipkow@in.tum.de>
Date: Sun, Feb 21, 2010 at 7:11 PM
Subject: Re: Fwd: License for MML
To: Josef Urban <josef.urban@gmail.com>
All entries in the Archive of Formal Proof are licensed under a
BSD-style License or the GNU LGPL.
Tobias