blob: d2a53e95e07dec7bfdb28ec95fd3f0dbd8999b4a [file] [log] [blame]
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<!--
Copyright (c) 2010, 2011 Technical University of Denmark.
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:
Patrick Koenemann, DTU Informatics - initial API and implementation
$Id: toc.html,v 1.2 2010/09/30 20:31:24 pkonemann Exp $
-->
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<title>MPatch User Guide</title>
</head>
<body>
<h1>MPatch User Guide</h1>
<p><a href='tutorial.html'>The Tutorial</a> covers most important features of MPatch.</p>
<p><a href='preferences.html'>The Preferences Page</a> explained.</p>
<p>Please go to our website <a href='http://modeldiff.imm.dtu.dk'>http://modeldiff.imm.dtu.dk</a> for more information.
</body>
</html>