|
2008-03-30
|
The new release 0.03.09 can deal with external QEDEQ module references. Even if a module is removed all dependent modules change their state accordingly. Within LaTeX parts the new command \qref can reference to local or imported nodes of other QEDEQ modules.
|
|
2008-01-26
|
With 0.03.08 we nearly reached gaffsie. Only because of much code TODOs and missing tests we still call it mongaga.
|
|
2007-12-22
|
Version 0.03.07 is ready. Some small improvements were made: better error presentation, a more formal qedeq_basic_logic_v1.xml and various refactorings took place. Also during logical checking all referenced modules are loaded.
|
|
2007-10-14
|
Now the GUI is also startable via Java Web Start. Just click on START to start the current release.
|
|
2007-09-02
|
The GUI is completely new in release 0.03.05. It has a tree that shows all QEDEQ modules and visualizes their state by certain icons. Not all previous features are yet integrated and some behaviour is still not very smooth but this release is a good basis for further development.
|
|
2007-05-10
|
Now we have a kernel based release 0.03.04. The LaTeX formula parser is now GUI startable.
|
|
2007-03-11
|
We take small steps toward our big goals. So we have release 0.03.03.
|
|
2007-02-25
|
It is done, release 0.03.02 is out. We also found a major error in the
last windows release: the downloadable zip file was corrupt. We apologise for this error!
|
|
2007-01-15
|
The mongaga version 0.03.01 is released.
|
|
2007-01-07
|
A nice adaption of the visitor pattern is developed and implemented.
|
|
2006-12-21
|
The formula checker ("is this formula well formed") is working.
|
|
2006-11-06
|
The basic features of the formula checker are working. And in fact we found an error within our set theory script!
|
|
2006-10-22
|
Version 0.02.01 released. This is a moster one.
|
|
2006-09-14
|
Further rework of home page finished.
|
|
2006-08-01
|
Trying to escape insular thinking on an island.
|
|
2006-07-06
|
Successful conversion of LaTeX text into QEDEQ module.
|
|
2006-04-03
|
Project sources are now in subversion repository.
|
|
2005-12-29
|
Development release version 0.01.09 is ready.
|
|
2005-10-18
|
Another development release, version: 0.01.08. Includes a script with the beginning of axiomatic set theory.
|
|
2005-09-05
|
Second "unstable" development release of the main project. Code Name: brigand, Version: 0.01.07.
|
|
2005-03-09
|
First "unstable" development release of the main project. Code Name: brigand, Version: 0.01.06.
|
|
2005-01-22
|
English project handbook generated out of QEDEQ module XML data. Look at the XML document and at the handbook.
|
|
2004-12-24
|
Main project uses XML as main data format. See the XML schema specification and it's documentation.
|
|
2004-10-24
|
Setup program for installing the prototype under MS windows available. See under download.
|
|
2004-09-26
|
Release of version 0.00.53.
|
|
2004-08-15
|
The discussion board was reorganized and it's language is now English.
|
|
2004-06-19
|
Code Freeze for version 0.00.53. The testing phase begins.
|
|
2004-04-29
|
Main development goals of next version are achieved. Local QEDEQ modules could be loaded,
trace and logging functions and history features are implemented. A refactoring of the source code takes place.
|
|
2004-03-21
|
With Java Web Start the currently developed prototype could be started here: pmii 0.00.53. This version includes a GUI for starting tasks with a simple click.
|
|
2004-02-22
|
A new discussion board for people interested in Hilbert II has been set up.
|
|
2004-01-08
|
The page with links has been reworked and extended with important links to related projects.
|
|
2003-12-19
|
For logical implication and equivalence instead of '=>' and '<=>' now the more common symbols '->' and '<->' will be used.
|
|
2003-11-05
|
The project has been renamed to Hilbert II (formerly "Principia Mathematica II").
|
|
2003-10-03
|
F. Fritsche pointed out an alternative axiom system for propositional calculus, the axiom system by Gotlind and Rasiowa:
| Ax 1 | | (P v P) -> P |
| Ax 2 | | P -> (P v Q) |
| Ax 3 | | (P -> Q) -> [(R v P) -> (Q v R)] |
The axioms HA 3 (P v Q) -> (Q v P) and HA 4 (P -> Q) -> [(R v P) -> (R v Q)] of Hilbert & Ackermann's original system can be derived from this system.
|
|
2003-08-16
|
Logical documents of this project are now also available at PlanetMath.
|
|
2003-07-08
|
This project is now also visible in freshmeat.net.
|
|
2003-06-24
|
Version 0.00.52 is ready.
|
|
2003-05-11
|
A syntax parser for the QEDEQ format generates from the formal description of an QEDEQ module an XML-DTD. See QEDEQ DTD (comments in German).
|
|
2003-04-23
|
Fattening up the German project handbook.
|
|
2003-03-16
|
German web pages improved, the German project handbook is growing.
|
|
2003-01-27
|
German web pages online: Deutsch.
|
|
2003-01-02
|
A picture of experimental QEDEQ viewer.
|
|
2002-11-17
|
First launch of this web pages.
|
|
2000-08-04
|
Start of this project.
|
