[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Savannah-register-public] [task #7611] Submission of Poussin proof assi
From: |
Sylvain Beucler |
Subject: |
[Savannah-register-public] [task #7611] Submission of Poussin proof assistant |
Date: |
Sun, 06 Jan 2008 08:07:20 +0000 |
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; fr; rv:1.8.1.11) Gecko/20071127 Firefox/2.0.0.11 |
Update of task #7611 (project administration):
Status: None => Done
Assigned to: None => Beuc
Open/Closed: Open => Closed
_______________________________________________________
Follow-up Comment #1:
Hi,
I approved your project.
Before to upload your code at Savannah, please remember to add a copy of the
GFDL as a section of your documenation (this is mentioned in your .tex license
block, but the section is yet to be added).
Regards.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/task/?7611>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/