Hilbert II, Version 0.03.05 (mongaga), 2007-09-02 03:39:06

Version History

0.03.05
=======

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

  Extensions
  ----------
  * completely new GUI
  
  Fixed Bugs
  ----------
 
  Other Changes
  -------------

  * only GUI startable
  * formula parser not yet integrated
  * XML and wiki file generation not yet integrated
  * error location in XML source is not automatically highlighted any
    longer


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

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

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

  Other Changes
  -------------
  * qedeq_basic_concept.xml: reworked
   


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

  Extensions
  ----------
  * new GUI code introduced: now we have the two projects QedeqKernelSe and
    QedeqGuiSe. The directories "kernel" and "gui" refer to those projects. 
    The new GUI code uses the JGoodies libraries "looks" and "forms".
  * Trace contains new "fatal" methods
  
  Fixed Bugs
  ----------

  Other Changes
  -------------
  * DefaultModuleFactory loads a QEDEQ module without checking the logical
    correctness
  * possibility to load modules from web, create local copies
  * "KernelState.startup(ModuleFactory)" was split into the two methods
    "init(ModuleFactory)" and "startup". So now the GUI can call init use
    "getConfig(), register all its loggers and continue with "startup"
  * MathematicalState* -> LogicalState*
  * ModuleFactory contains new method "getLocalName(ModuleAddress)" for
    retrieving the local buffer file name for an QEDEQ module
  * ModuleProperties gives now some information about the logical state
  * ModuleEventListenerLog cares now also for logical failure state
  * DefaultXmlFileExceptionList uses "initCause" to have an stacktrace, also
    now only "getMessage" is implemented (not "toString")
  * SaxDefaultHandler has some new getters
  * SaxEntityResolver warns if the XML document has the wrong kernel version,
    still it doesn't give the correct error position
  * resize of failure field (in status pane) must be manually triggered
    (e.g. by resizing the application window)



XSD
---

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

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

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



Test Results
============
  * currently the bin directory is not used any longer
  * GenerateXmlTest rely on same line separator for println and subversion
    checking
  * JUnitTests shouldn't create LaTeX files in the "data" directory
  * log window should scroll automatically if events occur
  * open file window should remember last directory even if the application
    is closed
  * logical checking doesn't show multiple errors in error pane
  * automatic resize of logging window doesn't work correctly: sometimes there
    are scrollbars within the window and one couldn't see the last messages
  * error pane marks error position with "^" (for parsing errors) but because
    the window has a proportional font this position is incorrect
  * sometimes the tree window is not refreshed (check simultaneously 4 modules 
    for logical correctness..)




TODOs
=====
  Later releases should solve the following questions or problems:
  * remove already loaded modules only if they have changed 
    contents
  * 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