[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:08:31 +0000
User-agent: Mozilla/5.0 (X11; U; Linux i686; fr; rv: Gecko/20071127 Firefox/

Follow-up Comment #2, task #7611 (project administration):

Also note that I approved the project as non-GNU. Please check to submit your project for GNU



Reply to this item at:


  Message sent via/by Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]