Table of Contents
Variable *Ontolingua-Version*
The version of this release of Ontolingua.
The current value of
*ONTOLINGUA-VERSION*
is
"4.0"