|
From: | Sebastian Wieseler |
Subject: | [Savannah-register-public] [task #5045] Submission of Separation Logic in Coq |
Date: | Thu, 22 Dec 2005 18:33:37 +0000 |
User-agent: | Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.6) Gecko/20050317 Firefox/1.0.2 |
Follow-up Comment #3, task #5045 (project administration): Hello and sorry for the delay. Can you please provide us with a tarball of your source code? Thanks. _______________________________________________________ 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] |