4.0.0 org.qedeq.kernel.maven qedeq_kernel jar 0.04.00 QEDEQ Kernel for the Hilbert II project In the tradition of Hilbert's program the project creates a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. http://qedeq.org mantis http://sourceforge.net/apps/mantisbt/pmii/my_view_page.php scm:svn:https://pmii.svn.sourceforge.net/svnroot/pmii/trunk scm:svn:https://pmii.svn.sourceforge.net/svnroot/pmii/trunk http://pmii.svn.sourceforge.net/viewvc/pmii/trunk/ hudson http://meyling.de:8080/hudson Michael Meyling m31 mime@qedeq.org meyling.com Java Developer The Apache Software License, Version 2.0 http://www.apache.org/licenses/LICENSE-2.0.txt org.apache.maven.plugins maven-compiler-plugin 1.4 1.4 org.apache.maven.plugins maven-surefire-plugin true org.apache.maven.plugins maven-site-plugin UTF-8 junit junit 3.8.1 test commons-logging commons-logging 1.1.1 commons-httpclient commons-httpclient 3.1 commons-codec commons-codec 1.3 commons-lang commons-lang 2.4 commons-io commons-io 1.4 xerces xercesImpl 2.6.2 test xerces xmlParserAPIs 2.6.2 test xalan xalan 2.6.0 test log4j log4j 1.2.14 runtime org.apache.maven.plugins maven-project-info-reports-plugin org.apache.maven.plugins maven-jxr-plugin org.apache.maven.plugins maven-pmd-plugin 2.3 org.apache.maven.plugins maven-javadoc-plugin org.apache.maven.plugins maven-checkstyle-plugin 2.3 org/qedeq/**/*.java target/QedeqFormalChecks.xml org.apache.maven.plugins maven-surefire-plugin -Xms256m -Xmx512m -XX:PermSize=512m -XX:MaxPermSize=512m false src/test/resources org.apache.maven.plugins maven-surefire-report-plugin org.codehaus.mojo findbugs-maven-plugin true Max Medium