[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Savannah-register-public] [task #14427] Submission of MetaLogic Inferen
From: |
Pavel Kharitonov |
Subject: |
[Savannah-register-public] [task #14427] Submission of MetaLogic Inference |
Date: |
Wed, 29 Mar 2017 10:00:50 -0400 (EDT) |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:51.0) Gecko/20100101 Firefox/51.0 |
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/
- [Savannah-register-public] [task #14427] Submission of MetaLogic Inference, Hans Åberg, 2017/03/28
- [Savannah-register-public] [task #14427] Submission of MetaLogic Inference,
Pavel Kharitonov <=
- Re: [Savannah-register-public] [task #14427] Submission of MetaLogic Inference, Hans Åberg, 2017/03/29
- [Savannah-register-public] [task #14427] Submission of MetaLogic Inference, Hans Åberg, 2017/03/29
- [Savannah-register-public] [task #14427] Submission of MetaLogic Inference, Pavel Kharitonov, 2017/03/30
- [Savannah-register-public] [task #14427] Submission of MetaLogic Inference, Hans Åberg, 2017/03/30
- [Savannah-register-public] [task #14427] Submission of MetaLogic Inference, Pavel Kharitonov, 2017/03/30
- [Savannah-register-public] [task #14427] Submission of MetaLogic Inference, Hans Åberg, 2017/03/31
- [Savannah-register-public] [task #14427] Submission of MetaLogic Inference, Pavel Kharitonov, 2017/03/31
- [Savannah-register-public] [task #14427] Submission of MetaLogic Inference, Hans Åberg, 2017/03/31