Hilbert II, Version 0.03.02 (mongaga), 2007-02-25 23:36:51

Version History

0.03.02
=======

Functional Changes
------------------  

  Extensions
  ----------
  * trace at "INFO" level now supported
  * LaTeX generated output carries more information
  
  Fixed Bugs
  ----------
 
  Other Changes
  -------------
  
XML Files
-----------

  Extensions
  ----------
  * "qedeq_sample7_error.xml" added to show new semantical error
  * "qedeq_logic_v1.xml" contains more English texts

  Fixed Bugs
  ----------
  * "qedeq_set_theory_v1.xml" formula for "the equivalence of
     properties enables us to conclude the identy.." corrected
  * corrections because of previous changed XSD for "qedeq_sample*.xml"

  Other Changes
  -------------
  * "qedeq_sample*_error.xml" contain more informations about their
    errors


Source Code
-----------

  Extensions
  ----------
  * QedeqNotNullTransverser has new blocking sub nodes functionality
  * Qedeq2Latex generates more information than before
  * Trace has more methods for tracing in higher level (INFO)
  * Context2XPath uses Qedeq object (see fixed bugs)
  * IoUtility contains new method "URL toURL(File)"
  * SourceArea added, this is a container for two SourcePosition s
  
  Fixed Bugs
  ----------
  * Context2XPath uses visitor and Qedeq object to get XPath.
    This was necessary because an Atom (if it is the first in an
    ElementList) is always an attribute tag - therefore the XML element
    counting doesn't work (you have to subtract one if the first
    element is an Atom). To get a clean implementation we now use the
    new QedeqVisitor approach.
  * now the CheckException is used directly to point to the error
    location
  * Element creation in QedeqBoFactory changed (just commented in code 
    and removed useage of Element.copy)
  * QedeqNotNullTransverser: validated context information
  * IoUtility "loadFile(URL, StringBuffer)": first byte is now read and
    we read "char"s 
  * SimpleXPath "attribute" is set to null if an element is added


  Other Changes
  -------------
  * Qedeq2Latex is now a QedeqVisitor
  * Trace faster by asking trace level before
  * org.qedeq.kernel.parser.TextOutput removed
  * Xml2* uses now ".getCanonicalFile" for better error messages
  * TextOutput needs file name in constructor


XSD
---

  Extensions
  ----------

  Fixed Bugs
  ----------
  * "QUANTOR_INTERSECTION" renamed into "QUANTIFIER_INTERSECTION"
  * "QUANTOR_UNION" renamed into "QUANTIFIER_UNION"

  Other Changes
  -------------
    

TODOs
=====
  Later releases should solve the following problems:
  * remove duplicate language entries check from QedeqBoFactory and
    write a QedeqVisitor for checking this
  * error messages after check for logical consistence should contain
    more concrete problem description: e.g. in
    "30590: this predicate constant is unknown (at least for this
    argument number)" should occur the unknown name
  * consolidation of exceptions for restricted quantors: the definition
    all x phi(x): psi(y) <=> all x (phi(x) -> psi(y))
    doesn`t match the current implementation because the restriction
    formula *must* contain the subject variable (see FormulaChecker)
  * 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