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

[Hans Åberg]

Follow-up Comment #2, task #14427 (project administration):

I made a new distribution; same URL as before:

The files with names starting with ._, MacOS (OS X) metadata (xattr) files,
should now be removed. Copyright notice added to Readme.txt; examples/main.mli
is an example file, and in addition, too short to be copyrighted. The files
parser.output and examples/main.mlo are computer generated, were removed, but
may otherwise not be copyrightable.

GNU Evaluation said the program name is fine.



    _______________________________________________________

Reply to this item at:

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

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