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

[Pavel Kharitonov]

Update of task #14427 (project administration):

                  Status:                    None => In Progress            
             Assigned to:                    None => ineiev                 

    _______________________________________________________

Follow-up Comment #1:

All distributed files, including ._src,
src/._Makefile.in, src/parser.output,
Readme.txt, examples/main.mli, examples/main.mlo,
should have valid copyright and license notices [0]; could you fix this?

Also, "mli" is a too short name; could you use something like
meta-logic-inference?

[0] https://savannah.gnu.org/maintenance/ValidNotices/

    _______________________________________________________

Reply to this item at:

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

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