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 in the FoCaLiZe directory. Hence, once FoCaLiZe is cloned, go inside its base directory (cd focalize) and clone Zenon 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 in your focalize directory.

The latest release (as of 2014-10-14)

focalize-0.9.0.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: Thursday, November 6th, 2014 on host dhcpuei9.ensta.fr by user didou.
Copyright © 2005 - 2014 INRIA & LIP6, 2012 - 2014 ENSTA ParisTech, all rights reserved.