downloads/extras-xtext.php

<?php
function showNotes()
{
?>
	<div class="homeitem3col">
		<h3>Notes</h3>
		<p>In addition you need to download and install the antlr generator from <a href="http://ftp.itemis.de/files/xtext/antlr.zip">here</a>.
		</p>
	</div>
<?php
}
?>