[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Savannah-register-public] [task #5965] Submission of Efficient Symbolic
[Savannah-register-public] [task #5965] Submission of Efficient Symbolic Tools
Wed, 25 Oct 2006 08:12:29 +0000
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.
Reply to this item at:
Message sent via/by Savannah