Documentation

The manual for the lastest release

The reference manual for the focalize language and system:

• focalize-0.6.0_refman.ps, size 697KB, (in PS format).
• focalize-0.6.0_refman.pdf, size 492KB, (in PDF format).
• focalize-0.6.0_refman.dvi, size 459KB, (in DVI format).

Tutorial: Implementing Sets

A tutorial for the focalize language and system:

• focalize-0.6.0_tutorial.ps, size 671KB, (in PS format).
• focalize-0.6.0_tutorial.pdf, size 366KB, (in PDF format).
• focalize-0.6.0_tutorial.dvi, size 365KB, (in DVI format).

The manual pages for the focalize commands

• The manual for the focalizec compiler (Unix man page).
• The manual for the focalizedep make dependencies compiler (Unix man page).