[Top][All Lists]

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

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

From: Hans Åberg
Subject: [Savannah-register-public] [task #14427] Submission of MetaLogic Inference
Date: Wed, 29 Mar 2017 17:52:38 -0400 (EDT)
User-agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_12_4) AppleWebKit/603.1.30 (KHTML, like Gecko) Version/10.1 Safari/603.1.30

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:


  Message sent via/by Savannah

reply via email to

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