[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Savannah-register-public] [task #5965] Submission of Efficient Symbolic
|
From: |
Robert Meolic |
|
Subject: |
[Savannah-register-public] [task #5965] Submission of Efficient Symbolic Tools |
|
Date: |
Wed, 25 Oct 2006 08:12:29 +0000 |
|
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; sl-SI; rv:1.7.13) Gecko/20060418 Fedora/1.0.8-1.1.fc4 Firefox/1.0.8 |
Follow-up Comment #4, task #5965 (project administration):
EST has been written as a part of research work in one department of
University of Maribor (UM-FERI). UM-FERI is a legal entity and, yes, we have
a permission of UM-FERI to make EST free software.
Do you require, that we sent a written document about this to you?
We suport the idea to use GNU/Linux instead of just Linux
for the name of computer system composed of GNU software + Linux kernel. If
somewhere in the code or in the documentation appears just Linux, then this
is a mistake and we will fix it in the future.
Robert
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/task/?5965>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/