[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.



Reply to this item at:


  Message sent via/by Savannah

reply via email to

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