Hilbert II, Version 0.03.03 (mongaga), 2007-03-11 08:26:15

Version History

0.03.03
=======

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

  Extensions
  ----------
  * error messages after check for logical consistence  contain
    more concrete problem description: e.g. in
    "30590: this predicate constant is unknown (at least for this
    argument number)" now follows the unknown name
  * consolidation of exceptions for restricted quantors: the definition
    all x phi(x): psi(y) <=> all x (phi(x) -> psi(y))
    matches now the current implementation because now the restriction
    formula *must not* contain the subject variable (see FormulaChecker)
  
  Fixed Bugs
  ----------
  * now no output files are generated when an error occurs (old behaviour:
    generate file with length 0)
 
  Other Changes
  -------------
  
XML Files
-----------

  Extensions
  ----------
  * "qedeq_sample8_error.xml" added to show semantical error for duplicate
    language entries
  * "qedeq_error_sample_*.xml" added to show various mathematical errors
    within minimal QEDEQ modules
  * rework and extension of "qedeq_logic_language.xml"
  * corrections in "qedeq_logic_v1.xml" (thanks to Martin Schimmels)

  Fixed Bugs
  ----------

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


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

  Extensions
  ----------
  * IoUtility contains now method for comparing two files
  
  Fixed Bugs
  ----------
  * text for error 30550 tells now that within the "sub formula" the
    subject variable is already bound

  Other Changes
  -------------
  * duplicate language entry check removed from QedeqBoFactory into a
    new QedeqVisitor
  * speed up of QedeqBoFormalLogicalChecker by using the blocking
    sub nodes mechanism
  * Qedeq2* requires now QedeqBo object


XSD
---

  Extensions
  ----------

  Fixed Bugs
  ----------

  Other Changes
  -------------
  * INTRODUCTION in CHAPTER is now optional
    

TODOs
=====
  Later releases should solve the following quesitions or problems:
  * look at coverage results to check where more tests are needed
  * 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