<?php
// archived releases
$oldrels = array(
	"1.0.1" => "201008251220",
	"1.0.0" => "201006170321",
	"0.7.2" => "200908120607",
	"0.7.1" => "200907171100",
	"0.7.0" => "200906161042",
);

function showNotes()
{
?>
	<div class="homeitem3col">
		<h3>Notes</h3>
		<p>In addition we highly recommend to install the ANTLR generator from <a href="http://xtext.itemis.com/xtext/language=en/23947/downloads" target="new_window">itemis.com</a>.</p>
		</p>
	</div>
<?php
}
?>