[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: |
Thu, 30 Mar 2017 04:39:02 -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 #4, task #14427 (project administration):
For project name with you, not affecting the distribution and program names,
then take metalogic-inference, as "metalogic" is normally spelled as one word
(without hyphen) in English, which is also closer to the full name.
_______________________________________________________
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, 2017/03/29
- 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 <=
- [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