[Savannah-register-public] [task #14427] Submission of MetaLogic Inference

[Pavel Kharitonov]

Update of task #14427 (project administration):

                  Status:             In Progress => Done                   
             Open/Closed:                    Open => Closed                 

    _______________________________________________________

Follow-up Comment #5:

Thank you, approved.

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/task/?14427>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/