|
From: | Reynald Affeldt |
Subject: | [Savannah-register-public] [task #5045] Submission of Separation Logic in Coq |
Date: | Tue, 27 Dec 2005 05:53:45 +0000 |
User-agent: | Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.10) Gecko/20050925 Firefox/1.0.4 (Debian package 1.0.4-2sarge5) |
Follow-up Comment #6, task #5045 (project administration): All required changes done. rei _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/task/?func=detailitem&item_id=5045> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |