[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Savannah-register-public] [task #3924] Submission of Isar Mathematical
From: |
Jonathan Gonzalez V. |
Subject: |
[Savannah-register-public] [task #3924] Submission of Isar Mathematical Library |
Date: |
Wed, 6 Apr 2005 01:19:00 +0000 |
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.6) Gecko/20050401 Firefox/1.0.2 (Debian package 1.0.2-2) |
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/
- [Savannah-register-public] [task #3924] Submission of Isar Mathematical Library,
Jonathan Gonzalez V. <=