2009-05-30 Unser Build-Prozess wird nun durch Hudson durchgeführt. Für Entwickler gibt es einen Zugriff über das Internet. Die Software wird nun kontinuierlich gebaut und getestet.

2009-05-22 Nun wurde die Entwicklungsumgebung auch unter Ubuntu zum Fliegen gebracht. Nach einigen Schwierigkeiten mit Subversion konnten letztlich doch erfolgreich Commits durfgeführt werden.

2009-05-02 Wir spielen ein wenig mit Hudson als Continuos Integration Tool herum. Es läuft sofort nach dem Auspacken und sieht gut aus.

2009-04-19 Installation von tomcat als service und das Zugänglich machen von aussen via dyndns.org.

2009-03-30 Wechsel des Computers und Einsatz eines neuen Betriebssystems (ubuntu). Das bedeutet viele Installationen in sehr langen Nächten.

2008-08-04 Nach einer riesigen Refactoring-Orgie ist die Anwendung nun reorganisiert und mit einem strahlend neuen Build-Prozess versehen. Wir benutzen weiterhin Ant, stellen aber auch Maven POMs zur Verfügung. Wir setzen nun eine neue Clover-Version ein (übrigens vielen Dank für die Open-Source-Lizenz) und haben damit diesen Report für das neue Release 0.03.11 erzeugt. Das neue Release enthält auch die Eclipse-Projektverzeichnisse in dem inzwischen enormen src-Verzeichnis. Hier befinden sich auch weitere Projektreports.

2008-05-17 0.03.10 zeigt alle Fehler eines QEDEQ-Moduls. Weiterhin springt der Source-Viewer an die Fehlerposition, wenn der Fehler in der Fehlerliste angeklickt wird. Es kann nur noch eine Instanz der Anwendung gestartet werden. Diese Version erfordert zumindest Java 1.4.2.

2008-03-30 Das neue Release 0.03.09 kann mit externen QEDEQ-Modulreferenzen umgehen. Selbst wenn ein Modul entfernt wird ändern alle abhängigen Module ihren Status entsprechend. Innerhalb von LaTeX-Teilen kann mit dem neuen Kommando \qref auf lokale oder importierte Knoten von anderen QEDEQ-Modulen verwiesen werden.

2008-01-26 Mit 0.03.08 haben wir fast schon gaffsie erfüllt. Nur aufgrund der vielen TODOs und fehlender Tests nennen wir es noch mongaga.

2007-12-22 Version 0.03.07 ist fertig. Einige kleine Verbesserungen wurden durchgeführt: eine bessere Fehlerdarstellung, ein etwas mehr formales qedeq_basic_logic_v1.xml und diverse Refactorings haben statgefunden. Desweiteren werden bei Prüfung auf logische Korrektheit auch alle abhängigen Module geladen.

2007-10-14 Nun kann die GUI auch mit Java Web Start gestartet werden. Dazu nur auf START klicken, um die aktuelle Version zu starten.

2007-09-02 Die GUI wurde in Release 0.03.05 komplett neu gemacht. Sie besitzt nun einen Baum, der alle QEDEQ-Module anzeigt und ihren jeweiligen Status mit Symbolen darstellt. Nicht alle vorherigen Funktionen sind schon integriert und manches Verhalten ist noch nicht sehr ansehnlich, aber dieses Release ist eine gute Basis für die weitere Entwicklung.

2007-05-10 Nun haben wir ein Kernel-Release 0.03.04. Der LaTeX-Formel-Parser kann nun aus der GUI gestartet werden.

2007-03-11 Wir machen weitere kleine Schritte in Richtung unserer grossen Ziele. So haben wir nun Release 0.03.03.

2007-02-25 Es ist getan, die Version 0.03.02 ist fertig. Bei der Erstellung haben wir einen schweren Fehler in der letzten Windows-Version gefunden: das herunterladbare ZIP-File war defekt. Wir entschuldigen uns für diesen Fehler!

2007-01-15 Die mongaga Version 0.03.01 steht bereit.

2007-01-07 Eine nette Abwandlung des Visitor Patterns ist entwickelt und implementiert.

2006-12-21 Der Formelüberprüfer ("ist diese Formel wohlgeformt") funktioniert.

2006-11-06 Die Basisfunktionalität des Formelüberprüfers läuft. Und tatsächlich haben wir in unserem Mengenlehreskript einen Fehler gefunden!

2006-10-22 Version 0.02.01 fertig. Hierbei handelt es sich um ein moster-Release.

2006-09-14 Erneute Überarbeitung der Projektseiten abgeschlossen.

2006-08-01 Inselluft soll frische Gedanken bringen.

2006-07-06 Erfolgreiche Umwandlung eines LaTeX-Textes in ein QEDEQ-Modul.

2006-04-03 Zur Archivierung und Versionsverwaltung von Programm-Code wird nun Subversion benutzt.

2005-12-29 Entwicklerrelease Version 0.01.09 ist fertig.

2005-10-18 Ein weiteres Entwicklerrelease, Version: 0.01.08. Enthält ein Skript über den Anfang der axiomatioschen Mengenlehre.

2005-09-05 Zweites "unstable" Entwicklerrelease des Hauptprojekts. Code Name: brigand, Version: 0.01.07.

2005-03-09 Erstes "unstable" Entwicklerrelease des Hauptprojekts. Code Name: brigand, Version: 0.01.06.

2005-01-22 Das Englische Projekthandbuch wird nun aus einem XML-Qedeq-Modul generiert. Hier ist das XML-Dokument und hier das Handbuch.

2004-12-24 Das Hauptprojekt nutzt nun XML als Datenformat. Siehe die XML-Schema-Spezifikation und ihre Dokumentation.

2004-10-24 Setup-Programm zur Installation des Prototypen unter MS-Windows ist da. Siehe unter download.

2004-09-26 Release von Version 0.00.53.

2004-08-15 Das Diskussionsforum wurde neu organisiert und liegt nun in englischer Sprache vor.

2004-06-19 Code Freeze für die Version 0.00.53. Nun wird nur noch getestet.

2004-04-29 Die Hauptziele der Entwicklung für die nächste Version sind errreicht. Lokale Qedeq-Module können geladen werden, Trace- und Logging-Funktionen und History-Listen sind realisiert. Es findet ein Refactoring des alten Programm-Codes statt.

2004-03-21 Hier kann der aktuell in Entwicklung befindliche Prototyp direkt per Java-Web-Start aufgerufen werden: pmii 0.00.53. Diese Version besitzt eine GUI und kann bequem mit der Maus bedient werden.

2004-02-22 Ein eigenes Diskussionsforum für Projekt-Interessierte wurde eingerichtet.

2004-01-08 Die Link-Seite wurde überarbeitet und um wichtige Links zu verwandten Projekten ergänzt.

2003-12-19 Für die Implikation und die Äquivalenz werden nun zukünftig statt '=>' und '<=>' die Symbole '->' und '<->' verwendet. Wir habe uns damit einer international gebräuchlichen Symbolik angeschlossen.

2003-11-05 Das Projekt wurde in Hilbert II umbenannt (ursprünglich "Principia Mathematica II").

2003-10-03

F. Fritsche machte auf ein alternatives Axiomensystem für die Aussagenlogik aufmerksam, das Axiomensystem von Gotlind und Rasiowa:

Ax 1		(P v P) -> P
Ax 2		P -> (P v Q)
Ax 3		(P -> Q) -> [(R v P) -> (Q v R)]

Die Axiome HA 3 (P v Q) -> (Q v P) and HA 4 (P -> Q) -> [(R v P) -> (R v Q)] des Axiomensystems von Hilbert & Ackermann können daraus abgeleitet werden.

2003-08-16 Die logischen Texte dieses Projekts sind nun auch hier zu sehen: PlanetMath.

2003-07-08 Dieses Projekt ist nun auch in freshmeat.net zu finden.

2003-06-29 Die Version 0.00.52 ist fertig.

2003-05-11 Ein Syntax-Parser für das QEDEQ-Format erzeugt aus der Beschreibung des QEDEQ-Formats eine XML-DTD. Siehe QEDEQ DTD.

2003-04-23 Das Grobkonzept wird immer umfangreicher.

2003-03-09 Die Fertigstellung des Grobkonzepts steht immer noch an erster Stelle: Projektbeschreibung.

2003-02-06 Das Grobkonzept ist weiter in Arbeit...

2003-01-27 Deutsche Webseiten online, mit dabei: eine erste Version eines Grobkonzepts für dieses Projekt: Projektbeschreibung.

2003-01-02 Ein Bild von dem experimentellen QEDEQ viewer.

2002-11-17 Start dieser Webseiten.

2000-08-04 Start dieses Projekts.

update 2009-07-02 21:10:57+0200