Here are descriptions of the previous and next minor releases. Subversions are not listed. All these releases are characterised as "unstable" (debian like) and are only of interest for developers.
0.01 brigand |
First XSD releases. XML could be parsed and value objects are created. Very simple generation of LaTeX files is possible. There are two QEDEQ modules: the project handbook and a mathematical example. Beside the XSD verification no checking is done. The LaTeX generation works directly on the value objects. |
0.02 moster |
Some elements of the BO (business object) layer exist. The script of axiomatic set theory includes at least most of the axioms. First attempts of a small LaTeX to QEDEQ XML converter. |
0.03 mongaga |
Formal checks for single formulas could be done ("is this formula well formed"). |
0.04 gaffsie |
QEDEQ modules and the referenced modules are loaded from the web. The formula checking incorporates also all required QEDEQ modules and handles external definitions. External predicate and function constants are resolved. |
0.05 toffle |
Simple formal proofs can be written down in QEDEQ syntax. |
0.06 misabel |
Simple formal proofs can be checked. |
0.07 joxter |
All needed formal proof methods for Axiomatic Set Theory can be written down in QEDEQ syntax. |
0.08 hodgkins |
All proof methods that can be expressed within the QEDEQ syntax can be checked. |