Hilbert II, Version 0.03.07 (mongaga), 2007-12-22 02:24:34

Version History

0.03.07
=======

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

  Extensions
  ----------
  * during logical checking all referenced modules are loaded and
    checked too
  
  Fixed Bugs
  ----------
  * "phi" and "psi" in file "mengenlehreMathOperators.xml" are now 
    no longer "prefixOperator" but "functionOperator" (if you already
    webstarted an older version you must delete this file manually)
  * error description references now to original URL
  * the QEDEQ source window shows now the first error position
    marked
 
  Other Changes
  -------------

XML Files
-----------

  Extensions
  ----------
  none

  Fixed Bugs
  ----------
  none

  Other Changes
  -------------
  * qedeq_basic_logic_v1.xml is now more formal


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

  Extensions
  ----------
  * loading of required modules is now possible, for that reason
    there is a new state "DependencyState"
  * to make the kernel more independent of the save format details
    references to XML are isolated so
    - no XmlFileExceptionList exists any more
    - DefaultXmlFileExceptionList is now DefaultSourceFileExceptionList
    - SyntaxException is now XmlSyntaxException
  * global context is now an URL instead of String
  * SourceArea and SourcePosition have now no local reference any more
  * SourceFileException has the local file reference as parameter for
    "getDescription(URL)"
  * QEDEQ modules are identified by their URLs
  * SimpleXPath fulfills more tests
  
  Fixed Bugs
  ----------
  * log listeners can now be removed (so after a shutdown the old
    listeners can be removed)
  * SourceFileException holds now original QEDEQ module URL

  Other Changes
  -------------
  *


XSD
---

  Extensions
  ----------
  none

  Fixed Bugs
  ----------
  none

  Other Changes
  -------------
  none