The public GIT repository

A public GIT repository can be accessed 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 http://focalize.inria.fr/focalize.git
or from the alternate (and experimental) mirror:
git clone https://focalize.ensta-paristech.fr/download/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.

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
or from the alternate (and experimental) mirror:
git clone https://focalize.ensta-paristech.fr/download/zenon.git

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

The latest release (as of 2016-05-30)

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

Older versions

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


Last modification date: Tuesday, May 31st, 2016 on host MacAPuche.local by user didou.
Copyright © 2005 - 2016 INRIA & LIP6, 2012 - 2016 ENSTA ParisTech, all rights reserved.