www.qedeq.org

 Hilbert II

English   Deutsch
Hilbert II at SourceForge
introduction
news
mathematics
QEDEQ
prototype
planning
download
web start
glossary
development
links
contact
site map
Download

From here different versions of the main program and the prototype suite can be downloaded.

Main Program Suite

You can download the latest release 0.03.09 unix file format or release 0.03.09 windows file format.

You can also try to start the application via Java Web Start directly from this web site if your browser supports this. Just click on current main. There should be a splash screen for Java Web Start, asking you to trust the signature. Although it will be not recommended you must trust the signature of Hilbert II to start the application.

Check out the detailed description of the release 0.03.09.

For the current source code you could browse the subversion or cvs tree.

Further informations can be found under development.

Prototype

The prototype is not supported any longer. But you can get the last release under pmii 0.00.53 unix and pmii 0.00.53 windows

To start the prototype with Java Web Start click on prototype 0.00.53.

Further informations can be found under prototype installation and prototype manual.

A MS windows version of the prototype with setup program can be downloded here: setup.exe.

Older versions are here


update 2008-03-30 06:45:59+0200