Welcome on my personal home page!

The Why tools

Download installers or executable files

• Why 2.11 and Alt-Ergo 0.7.3 executable files for Windows (.zip file)
• Why 2.13 installer for Windows
• Alt-Ergo 0.7.3 installer for Windows
• Bibtex2html 1.91 installer for Windows
• Why 2.11 executable files for MacOS (.tar.gz file)
• Why 2.13 executable files for MacOS (.tar.gz file)
• Alt-Ergo 0.7.3 executable files for MacOS (.tar.gz file)
• Bibtex2html 1.91 executable files for MacOS (.tar.gz file)

Awhy : the Eclipse plugin for WHY

To install the plugin, read instructions here.
For using it, you may consult the user manual page.
To make development into the plugin, you can read the developper manual.