[Savannah-register-public] [task #3924] Submission of Isar Mathematical Library

[Jonathan Gonzalez V.]

Update of task #3924 (project administration):

        Percent Complete:                      0% => 60%                    
             Assigned to:                    None => Zeus                   

    _______________________________________________________

Follow-up Comment #1:

Hi,

I'm evaluating the project you submitted for approval in Savannah.

I reviewed your source code and you had licensed the 'Fol1.thy' file
under the GNU GPL, did you already know it? if you do not have
problems with this point, we can approve your project, please let us
know about your decision.

Regards,


    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/task/?func=detailitem&item_id=3924>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/