GATE

GATE version

This documentation is for version __VERSION__ of the system.

The documentation was regenerated on __DATE__.

This file is ID
$Id: version.html,v 1.2 2001/03/09 17:56:53 hamish Exp $.