www.qedeq.org

 Hilbert II

English   Deutsch
Hilbert II bei SourceForge
Einführung
News
Mathematik
QEDEQ
Planung
Download
Web-Start
Glossar
Entwicklung
Prototyp
Links
Kontakt
Sitemap
Download

Hier können verschiedene Versionen des Hauptprojekts und des Prototyps heruntergeladen werden.

Hauptprojekt

Hier kann das aktuelle Release 0.04.07 Unix-Dateiformat oder 0.04.07 Windows-Dateiformat heruntergeladen werden. Es gibt auch Development-Versionen die neben dem Source-Code auch diverse Reports enthalten: Development 0.04.07 Unix-Dateiformat oder Development 0.04.07 Windows-Dateiformat.

Es ist auch möglich die Anwendung via Java Web Start direkt von dieser Webseite zu starten falls der Browser das unterstützt. Dazu bitte auf START klicken. Es sollte ein Splash-Screen von Java-Web-Start erscheinen, und Sicherheitsfragen zur Signatur gestellt werden. Obwohl Java-Web-Start es nicht empfiehlt, müssen Sie der Signatur von Hilbert II vertrauen um die Anwendung starten zu können. Leider funktioniert das nicht mit einer aktuellen Java Version.

Das aktuelle Release 0.04.07 hat folgende detaillierte Beschreibung (Englisch). Um den aktuellen Source-Code zu sehen kann unter subversion nachgeschaut werden. Es können auch die Ergebnisse des Nightly Builds eingesehen werden. Insbesondere kann dort auch der bandaktuelle Entwicklungsstand gestartet werden.

Weitere Informationen sind unter Entwicklung (Englisch) zu finden.

Prototyp

Der Prototyp wird nicht mehr weiterentwickelt. Letztes Release ist pmii 0.00.53 Unix und pmii 0.00.53 Windows.
Eine MS-Windows Version des Prototypen mit Setup-Programm kann hier geladen werden: setup.exe.
Mittels Java-Web-Start kann der Prototyp direkt aufgerufen werden: prototyp 0.00.53.

Weitere Informationen sind unter Prototyp Installation und Prototyp Anleitung zu finden.

Auch ältere Versionen sind in dieser Übersicht zu finden.


update 2014-01-20 09:20:48+0100