Hilbert II, Version 0.01.09, 2005-12-29 19:36:07

Version History

0.01.09
=======

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

  Fixed Bugs
  ----------
  * In generated LaTeX files formulas are are now surrounded by an
    longtable environment. This was necessary because formulas
    can exceed the line. See also under TODOs later on.

  Extensions
  ----------
  * new XSD element RULE is supported
  * new XSD element SET is supported
  
  Other Changes
  -------------
    
  
XML Files
-----------

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

  Extensions
  ----------
  * "qedeq_set_theory_v1.xml"; includes now a first meta rule 
    declaration for set definition by property: {x | phi(x)};
    a new proposition shows how to transform the new syntax
    into the old one
  * one more error sample included: "qedeq_sample4_error.xml" 
    is not correct because the XSD makes some restrictions

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


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

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

  Extensions
  ----------
  * some tests for business layer (BO) included

  Other Changes
  -------------
  * uneccessary imports in org.qedeq.kernel.dto.module removed


XSD
---

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

  Extensions
  ----------
  * new NODETYPE RULE for meta rule definition added
  * new TERMTYPE SET to express class building by a property
  * element DESCRIPTION added to AXIOM, THEOREM and DEFINITION

  Other Changes
  -------------
  * added restrictions for quantifier elements
  * renamed attribute "label" from "NODE" into "id"
    

TODOs
=====
  Later releases should solve the following problems:
  * write LaTeX renderer for better structed formula output; see
    "Proposition 1.7" in "qedeq_set_theory_v1_en.pdf" as an
    negative example