%INCLUDE{PermissiveGrammars}%

<!--
	* Set SKIN = customtitle
	* Set CUSTOMHEADTITLE = Stratego / The Permissive Grammars Project
	* Set CUSTOMTOPICTITLE = The Permissive Grammars Project
-->