Download

A public GIT repository can be accessed from GitHib to get the latest development version of FoCaLiZe. However, its content is not bullet-proof and may be unstable at some times. It reflects the real-time state of FoCaLiZe and may bring fixes and features not available in previous releases and that will be part of the next release.
To clone the current FoCaLiZe GIT repository, invoke:
git clone https://github.com/pessaux-f/focalize.git

This will create a focalize repository in your current directory. Once cloned, it is possible to fetch updates with the usual GIT commands (essentially git pull origin master). Note that this access being public, it doesn't allow pushing (i.e. submitting) modifications done in the sources tree.

You may find the project page on GitHub.

Since Zenon is now in a separate GIT repository, it must be cloned apart (or installed from the sources available at http://zenon.inria.fr/) by invoking:
git clone http://focalize.inria.fr/zenon.git

This will create a zenon repository. Zenon must be built and installed prior to FoCaLiZe.

focalize-0.9.2.tgz (tar-gzip).
This is a carefully tested release. However, if you find a bug, please be so kind to report it to the bug report mailing list focalize-bugs@inria.fr.
There may be some bugs; for instance, the documentation is not perfect :)

This software is free software distributed under the revised BSD license.

The previous versions of FoCaLiZe distribs are still available in the oldies directory.