Hilbert II, Version 0.02.01, 2006-10-21 22:09:04 Version History 0.02.01 ======= Functional Changes ------------------ Extensions ---------- * formula output looks better; see "Proposition 1.7" in "qedeq_set_theory_v1_en.pdf" * parallel to "\label" also "\hypertarget" is written * start of ".wiki" export type - but this feature is still less than a stub Fixed Bugs ---------- * generated labels include chapter number Other Changes ------------- XML Files ----------- Extensions ---------- * "qedeq_logic_v1.xml" added * "qedeq_set_theory_v1.xml" has much more in it, all axioms are assembled and we have roughly half of the planned theorems and definitions; there are hard links to "qedeq_logic_v1_en.pdf" Fixed Bugs ---------- * corrections because of changed XSD Other Changes ------------- Source Code ----------- Extensions ---------- * parsers for different text types added, see package org.qedeq.kernel.parser, look at LatexMathParserTest for usage informations Fixed Bugs ---------- Other Changes ------------- * adaptions to changed XSD, see below * XML parsers use now "URL" for source address instead of "File" * formula references to definitions are resolved by the combination of definition "name" and "arguments" XSD --- Extensions ---------- * split "DEFINITION" in "DEFINITION_PREDICATE" and "DEFINITION_FUNCTION" therefore attribute "kind" was removed * definitions must include a "name" attribute - together with "arguments" this must identify a definition too * element "BIBLIOGRAPHY" added * new "TERMTYPE"s: "QUANTOR_INTERSECTION" and "QUANTOR_UNION" Fixed Bugs ---------- * renamed attribute "id" of element "FUNCON" into "ref" and enabled an minOccurs="0" * also elements "PREDCON" and "PREDVAR" are allowed to have no terms * element "SUBSECTION" mustn't have an "TITLE", also attribute "label" was renamed into "id" * element "SET" was renamed into "CLASS" Other Changes ------------- * added restrictions for quantifier elements * renamed attribute "label" from "NODE" into "id" TODOs ===== Later releases should solve the following problems: * implement wiki file output * implement txt file output * implement html file output * further improvement of LaTeX output for formulas; see "Proposition 1.7" in "qedeq_set_theory_v1_en.pdf" as an negative example