The files in this subtree form part of the source code of the CoCoA server.
The CoCoA server is distributed under the GNU General Public License
(version 3 or, if you prefer, any later version).  The full text of the
licence may be found in the file COPYING-GPLv3 located in the root
directory of the CoCoALib distribution.
