<?php																														require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/app.class.php");	require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/nav.class.php"); 	require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/menu.class.php"); 	$App 	= new App();	$Nav	= new Nav();	$Menu 	= new Menu();		include($App->getProjectCommon());    # All on the same line to unclutter the user's desktop'
/*******************************************************************************
 * Copyright (c) 2009 
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 *
 * Contributors:
 *    
 *******************************************************************************/

	$pageTitle 		= "R4E - Downloads";

	ob_start();
	?>
	
<div id="midcolumn">
<h2>R4E - Downloads</h2>
<p>All downloads are provided under the terms and conditions of the <a href="/legal/epl/notice.php">Eclipse Foundation Software User Agreement</a> unless otherwise specified.</p>

<h3>Installation instructions</h3>
<a href="http://wiki.eclipse.org/Reviews/R4E/Installation_Guide" 
target="_self">Installation Instructions</a>

<h3>Installing the Latest Release: 0.20.0.v20130717-1300</h3>
<p><b>Update site:</b> http://download.eclipse.org/r4e/updates/ (Eclipse 3.8, 4.2, 4.3)<br /></p>

<h3>Bleeding Edge Nightly Builds</h3>
<p><b>Update site:</b> http://download.eclipse.org/r4e/snapshots/nightly/ (Eclipse 3.8, 4.2, 4.3)<br /></p>

</div>

	<div id="rightcolumn">
		<div class="sideitem">
			<h6>Incubation</h6>
			<div align="center">
				<a href="/projects/what-is-incubation.php">
					<img align="center" src="/images/egg-incubation.png" border="0" alt="Incubation" />
				</a>
			</div>
		</div>
	</div>
	
	<?
	$html = ob_get_clean();

	# Generate the web page
	$App->generatePage('Nova', $Menu, $Nav, $pageAuthor, $pageKeywords, $pageTitle, $html);
?>