Hilbert II, Version 0.03.04 (mongaga), 2007-05-10 04:03:33 Version History 0.03.04 ======= Functional Changes ------------------ Extensions ---------- * Formula parser added. Now LaTeX formulas can be transformed into QEDEQ XML. Helpful if you want to convert LaTeX into QEDEQ. Fixed Bugs ---------- Other Changes ------------- XML Files ----------- Extensions ---------- none Fixed Bugs ---------- none Other Changes ------------- * qedeq_logic_v1.xml: formulas of propositional calculus are now in correct formula format Source Code ----------- Extensions ---------- * introduction of a "Kernel" which offers different methods for using the functionalites of this project * already loaded QEDEQ modules are buffered in memory; currently all modules are removed from memory before loading a new one, in future this must only be done for changed modules and their dependents * beside a trace we now have logging * a configuration file is used * most final classes are now not final any more * renamed "*Impl" into "Default*" Fixed Bugs ---------- Other Changes ------------- * hughe refactoring took place: many classes implement now an interface, so now there are no more package cycles * exception handling validated * introduction of QEDEQ module status * posibility to load modules from web, create local copies (not yet supported within the gui) XSD --- Extensions ---------- none Fixed Bugs ---------- none Other Changes ------------- none 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