|
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:1.8.1.11) Gecko/20071127 Firefox/2.0.0.11 |
Follow-up Comment #2, task #7611 (project administration): Also note that I approved the project as non-GNU. Please check http://www.gnu.org/help/evaluation.html to submit your project for GNU Evaluation. Regards. _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/task/?7611> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |