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

[Reynald Affeldt]

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/