Hilbert II Changelog

New in version 0.04.06

April 11th, 2013
  • Most visual change is the icon usage for QEDEQ module status display.
  • We use gray for not yet worked on modules, purple for loaded modules, cyan for loaded all required modules, red orange for all well formed modules and yellow for all fully proved modules.
  • Errors and warnings are visualized by decorator icons.
  • Modules which are in progress are represented by animated icons.

New in version 0.04.05 (February 11th, 2013)

  • The context menu of text area fields include now "find": one can search for strings.
  • The initial window size for text viewing was optimized; now the window should fit the screen more likely.
  • Various test classes and tests were added.
  • The test coverage percentage is now at 78.6%.
  • A positive side effect was the discovery of some minor bugs, which were directly fixed.
  • A few formal proofs were added to qedeq_formal_logic_v1.xml.

New in version 0.04.03 (June 14th, 2011)

  • This version introduced a new proof method: conditional proof.
  • Based on the deduction theorem, you can make an assumption and draw conclusions from it.
  • It shows the unfolding of formal logic from axioms and inference rules to propositions of propositional calculus with formal proofs within qedeq_formal_logic_v1.
  • The new proof method is also integrated in the proof checker.
  • In the log output pane, messages are now better structured and more readable.

New in version 0.04.02 (May 2nd, 2011)

  • This release contains a program suite that can produce LaTeX files and UTF-8 text files out of QEDEQ XML files.
  • The QEDEQ files can be checked for syntactic correctness.
  • Also part of this suite is a semantical checker for some finite models of set theory. So you can check which formula is valid in which model.
  • Newly integrated is a proof checker that can verify the integrity of simple formal proofs.

New in version 0.04.01 (March 7th, 2011)

  • This release contains a program suite that can produce LaTeX files and UTF-8 text files out of QEDEQ XML files

New in version 0.04.00 (December 30th, 2010)

  • New real plugins: "Show module as UTF-8 text", "Create UTF-8", and "Model Tester".
  • The first ones are self-explanatory.
  • The last one allows testing the validity of formulas in different finite models.
  • The "four element model" is the approved model.
  • It contains the following four elements: {}, {{}}, {{}, {{}}}, and {{{}}}.
  • Together with the usual "element of" relation, it can fulfill almost all formulas of the logic and set theory script.
  • Quite a few typos were fixed.
  • There is a new process window to watch over plugin processes.
  • The GUI has some other additions and changes.

New in version 0.03.12 (September 21st, 2010)

  • A new about dialog that shows the system properties (they can also be copied into the clipboard).
  • Warnings are now supported: LaTeX generation problems lead to warnings.
  • The locations for LaTeX parsing problems are now precisely given.
  • Proxy settings can now be done in the new designed preferences dialog.
  • Uniqueness of class definition and identity operator definition is now checked.
  • The LaTeX output for modules contains extra printed (\tt) QEDEQ references in clear text, so module authors can easily reference that node.
  • The first pages of a new online help system are working.