|
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.
|
|
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.
|
