The manual for the lastest release

The reference manual for the focalize language and system:

Tutorial: Implementing Sets

A tutorial for the focalize language and system:

The manual pages for the focalize commands


Last modification date: Tuesday, August 18, 2009 on host deby.inria.fr by user weis.
Copyright © 2005 - 2010 INRIA & LIP6, all rights reserved.