[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Savannah-register-public] [task #5045] Submission of Separation Logic i

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:


  Message sent via/by Savannah

reply via email to

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