22 January 2011
The Metamath language and proof verifier was created by Norman Megill.
Norman Megill also maintains the 'set.mm' metamath database.
The mmj2 system was designed by Mel O'Cat.
Without these two people, the Metamath Eclipse Plugin would not exist today.
The author would also like to thank Frédéric Liné for his support and suggestions.
Copyright (C) 2011 Thierry Arnoux
This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 2 of the License, or (at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
A copy of the license is contained in the file LICENSE.txt
and is also available at http://www.gnu.org/licenses/gpl-2.0.html.
You should have received a copy of the GNU General Public License
along with this program; If not, see
The Content includes items that have been sourced from third parties as set out below.
The plug-in is based on software developed by Mel O'Cat, and made available at http://wiki.planetmath.org/AsteroidMeta/mmj2/.
Your use of mmj2 is subject to the terms and conditions of the GNU General Public License version 2. A copy of the license is contained in the file LICENSE.txt and is also available at http://www.gnu.org/licenses/gpl-2.0.html.
The plug-in is based on software developed by The Apache Sofware Foundation and made available at http://commons.apache.org/compress/.
Your use of Commons Compress is subject to the terms and conditions of the Apache Software License 2.0. A copy of the license is contained in the file LICENSE.txt and is also available at http://www.apache.org/licenses/LICENSE-2.0.html.
The names "Commons Compress" and "Apache Software Foundation" must not be used to endorse or promote products derived from this software without prior written permission. For written permission, please contact apache@apache.org.
Original binaries and source are available from the Apache Commons Compress website.
JSON in Java [package org.json]
JSON is a light-weight, language independent, data interchange format. See http://www.JSON.org/
The files in this package implement JSON encoders/decoders in Java. It also includes the capability to convert between JSON and XML, HTTP headers, Cookies, and CDL.
This is a reference implementation. There is a large number of JSON packages in Java. Perhaps someday the Java community will standardize on one. Until then, choose carefully.
The license includes this restriction: "The software shall be used for good, not evil." If your conscience cannot live with that, then choose a different package.
Java and all Java-based trademarks are trademarks of Sun Microsystems, Inc. in the United States, other countries, or both.