The public GIT repository
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.