# $Header$ This directory contains the text of the documentation for the Production Quality Interpreter "int".
