Fixed theme and added missing pages
diff --git a/n/mkdocs/docs/doc/flexmi/index.md b/n/mkdocs/docs/doc/flexmi/index.md
index 4db7376..0b177b8 100644
--- a/n/mkdocs/docs/doc/flexmi/index.md
+++ b/n/mkdocs/docs/doc/flexmi/index.md
@@ -1,6 +1,6 @@
 # Flexmi
 
-Flexmi is a **permissive and reflective textual syntax for creating models conforming to Ecore metamodels**. Flexmi is XML-based and offers features such as fuzzy matching of XML tags and attributes to Ecore class/feature names, support for embedding EOL expressions in models and for defining and instantiating model element templates. For example, the following XML document (`messaging.flexmi`):
+Flexmi is a **flexible, reflective textual syntax for creating models conforming to Ecore metamodels**. Flexmi is XML-based and offers features such as fuzzy matching of XML tags and attributes to Ecore class/feature names, support for embedding EOL expressions in models and for defining and instantiating model element templates. For example, the following XML document (`messaging.flexmi`):
 
 ```xml
 <?xml version="1.0"?>
diff --git a/n/mkdocs/docs/doc/index.md b/n/mkdocs/docs/doc/index.md
index 87ccd6a..be37d5b 100644
--- a/n/mkdocs/docs/doc/index.md
+++ b/n/mkdocs/docs/doc/index.md
@@ -93,6 +93,7 @@
 -   [Epsilon Pattern Language (EPL)](epl): A pattern language for matching model elements based on element relations and characteristics.
 -   [Epsilon Model Generation Language (EMG)](emg): A language for semi-automated model generation.
 -   [Epsilon Flock](flock): A rule-based transformation language for updating models in response to metamodel changes.
+-   [EUnit](eunit): EUnit is a unit testing framework specialized on testing model management tasks, such as model-to-model transformations, model-to-text transformations or model validation. It is based on Epsilon, but it can be used for model technologies external to Epsilon. Tests are written by combining an EOL script and an [ANT](workflow) buildfile.
 
 ### Tools
 
@@ -104,4 +105,4 @@
 -   [ModeLink](modelink): ModeLink is an editor consisting of 2-3 side-by-side EMF tree-based editors, and is very convenient for establishing (weaving) links between different models using drag-and-drop.
 -   [Workflow](workflow): Epsilon provides a set of ANT tasks to enable developers assemble complex workflows that involve both MDE and non-MDE tasks.
 -   [Human Usable Textual Notation](hutn): An implementation of the OMG standard for representing models in a human understandable format. HUTN allows models to be written using a text editor in a C-like syntax.
--   [EUnit](eunit): EUnit is a unit testing framework specialized on testing model management tasks, such as model-to-model transformations, model-to-text transformations or model validation. It is based on Epsilon, but it can be used for model technologies external to Epsilon. Tests are written by combining an EOL script and an [ANT](workflow) buildfile.
+
diff --git a/n/mkdocs/docs/download/all-versions.md b/n/mkdocs/docs/download/all-versions.md
new file mode 100644
index 0000000..7c9909b
--- /dev/null
+++ b/n/mkdocs/docs/download/all-versions.md
@@ -0,0 +1,13 @@
+# All Versions of Epsilon
+
+| Version                   | Eclipse Release | Release Date | Release Type       |
+| -------                   | --------------- | ------------ | ------------------ |
+[2.0](../../download) 	    | 4.15 (2020-03)  | 30 May 2020  | Major release
+1.5.1 	                    | 4.8 (Photon) 	  | 30 Sep 2018  | Service release
+1.5 	                    | 4.8 (Photon)    | 12 Aug 2018  | Scheduled release
+1.4 	                    | 4.6 (Neon) 	  | 6 Nov 2016   | Scheduled release
+1.3 	                    | 4.5 (Mars) 	  | 8 Mar 2015   | Scheduled release
+1.2 	                    | 4.4 (Luna) 	  | 25 Aug 2014  | Scheduled release
+1.1_SR1                     | 4.3 (Kepler) 	  |10 Sept 2013  | Service release
+1.1 	                    | 4.3 (Kepler) 	  | 29 Aug 2013  | Scheduled release
+1.0 	                    | 4.2 (Juno) 	  | 12 Nov 2012  | Scheduled release
\ No newline at end of file
diff --git a/n/mkdocs/docs/download/history.md b/n/mkdocs/docs/download/history.md
deleted file mode 100644
index e1a1123..0000000
--- a/n/mkdocs/docs/download/history.md
+++ /dev/null
@@ -1,14 +0,0 @@
-# Older Versions of Epsilon
-
-| Version | Eclipse Release | Release Date | Release Type |
-| ------------ | ------------- | ------------ | - |
-1.5.1 	| 4.8 (Photon) 	| 30 Sep 2018 	| Service release
-1.5 	| 4.8 (Photon) 	| 12 Aug 2018 	| Scheduled release
-1.4 	| 4.6 (Neon) 	| 6 Nov 2016 	| Scheduled release
-1.3 	| 4.5 (Mars) 	| 8 Mar 2015 	| Scheduled release
-1.2 	| 4.4 (Luna) 	| 25 Aug 2014 	| Scheduled release
-1.1_SR1 | 	4.3 (Kepler) 	|10 Sept 2013 	| Service release
-1.1 	| 4.3 (Kepler) 	| 29 Aug 2013 	| Scheduled release
-1.0 	| 4.2 (Juno) 	| 12 Nov 2012 	| Scheduled release 
-
-<!--2.0 	| 4.15 (2020-03) 	| 30 May 2020 	| Major release-->
diff --git a/n/mkdocs/docs/download/index.md b/n/mkdocs/docs/download/index.md
index 9dd64f8..d87d37b 100644
--- a/n/mkdocs/docs/download/index.md
+++ b/n/mkdocs/docs/download/index.md
@@ -31,8 +31,8 @@
 
 | Site | Zip Archive |
 | - | - |
-| Stable | <https://www.eclipse.org/downloads/download.php?file=/epsilon/updates/2.0/site.zip>|
-| Interim | <https://www.eclipse.org/downloads/download.php?file=/epsilon/interim/site.zip>|
+| Stable | <https://www.eclipse.org/downloads/download.php?file=/epsilon/updates/2.0/epsilon-2.0-site.zip> |
+| Interim | <https://www.eclipse.org/downloads/download.php?file=/epsilon/interim/epsilon-interim-site.zip> |
 
 ## Eclipse Marketplace
 
@@ -69,4 +69,4 @@
 
 ## Older versions
 
-Previous stable versions of Epsilon are available [here](history).
\ No newline at end of file
+Previous stable versions of Epsilon are available [here](all-versions).
\ No newline at end of file
diff --git a/n/mkdocs/docs/index.md b/n/mkdocs/docs/index.md
index 0b09033..e85b1ee 100644
--- a/n/mkdocs/docs/index.md
+++ b/n/mkdocs/docs/index.md
@@ -1,10 +1,13 @@
+<style>
+	h1 { display: none;}
+</style>
 # Eclipse Epsilon
 
-Epsilon is a family of languages for model-based software engineering tasks such as [code generation](doc/egl), [model-to-model transformation](doc/etl) and [model validation](doc/evl), that work out of the box with EMF (including Xtext and Sirius), UML, Simulink, XML and other types of models. It also includes tools for [reflective textual modelling](doc/flexmi), [model visualisation](doc/picto), and integration with [Apache Ant](doc/workflow).
+Epsilon is a family of languages tailored for model-based software engineering tasks such as [code generation](doc/egl), [model-to-model transformation](doc/etl) and [model validation](doc/evl), that work out of the box with EMF (including Xtext and Sirius), UML, Simulink, XML and other types of models. It also includes tools for [reflective textual modelling](doc/flexmi), [model visualisation](doc/picto), and integration with [Apache Ant](doc/workflow).
 
 ## Installation
 
-Download the [Eclipse Installer](https://www.eclipse.org/downloads/packages/installer) and select Epsilon. Note that you will need a Java Runtime Environment installed on your system. More options for downloading Epsilon (update sites, standalone JARs, Maven) are [available here](download).
+Download the [Eclipse Installer](https://www.eclipse.org/downloads/packages/installer) and select Epsilon. Note that you will need a Java Runtime Environment installed on your system. More options for downloading Epsilon (update sites, Maven) are [available here](download).
 
 ![Epsilon in Eclipse Installer](assets/images/eclipse-installer.png)
 
diff --git a/n/mkdocs/docs/stylesheets/extra.css b/n/mkdocs/docs/stylesheets/extra.css
index 3ba6312..a8f2482 100644
--- a/n/mkdocs/docs/stylesheets/extra.css
+++ b/n/mkdocs/docs/stylesheets/extra.css
@@ -1,12 +1,11 @@
-.hawk-eclipse-links {
-    display: table;
+.md-logo {
+	display: none;
 }
 
-.hawk-eclipse-links ul {
-    display: table-row;
+[data-md-color-primary=black] .md-header {
+	background-color: #494949;
 }
 
-.hawk-eclipse-links li {
-    display: table-cell;
-    padding: 1em;
-}
+.md-header-nav {
+	background-color: #494949;
+}
\ No newline at end of file
diff --git a/n/mkdocs/docs/users/education.md b/n/mkdocs/docs/users/education.md
index 1ac86bd..c4fd06b 100644
--- a/n/mkdocs/docs/users/education.md
+++ b/n/mkdocs/docs/users/education.md
@@ -1 +1,56 @@
-# Education
\ No newline at end of file
+# Education
+
+Below is a list of institutions that use one or more components of Epsilon (e.g. EGL, Eugenia) as part of their modelling/MDE courses. If you'd like to report additional uses of Epsilon in taught courses or you've spotted any outdated content, please [let us know](../../forum).
+
+![University of York](logos/york.png)
+![University of Texas](logos/texas.png)
+![University of Oslo](logos/uio.png)
+![Universidad Autonoma de Madrid](logos/uam.png)
+![University of Kassel](logos/kassel.png)
+![University of Marburg](logos/marburg.png)
+![Technische Universiteit Eindhoven](logos/tue.png)
+![Universitea Babes-Bolyai](logos/babes.png)
+![Universidad de los Andes](logos/losandes.png)
+![Budapest University of Technology and Economics](logos/bme.png)
+![Technical University of Dresden](logos/tud.png)
+![University of Southern Denmark](logos/sdu.png)
+![Norwegian University of Science and Technology](logos/ntnu.png)
+![University of Cadiz](logos/cadiz.png)
+![McMaster University](logos/mcmaster.png)
+![University of Edinburgh](logos/edin.png)
+
+## Sources
+
+
+University of York 
+	[[1](http://www.cs.york.ac.uk/postgraduate/modules/mode.html)],
+University of Texas 
+	[[1](http://www.cs.utexas.edu/~jbarbosa/CS392F/)],
+University of Oslo 
+	[[1](http://www.uio.no/studier/emner/matnat/ifi/INF5120/v13/obligs/oblig-2-description-2013-ajb.pdf)],
+Universidad Autonoma de Madrid 
+	[[1](http://astreo.ii.uam.es/~jlara/doctorado.2011/4_Generacion_codigo.pdf)],
+University of Kassel 
+	[[1](http://seblog.cs.uni-kassel.de/wp-content/uploads/2009/11/SE2_Uebung4.pdf)],
+University of Marburg 
+	[[1](http://www.mathematik.uni-marburg.de/~arendt/fopra12/slides/Neue%20FoPras%20Arendt.pptx)],
+Technische Universiteit Eindhoven 
+	[[1](http://www.win.tue.nl/~mvdbrand/courses/GLT/1314/exercises/assignment4and5.pdf)],
+Universitea Babes-Bolyai 
+	[[1](http://www.cs.ubbcluj.ro/~ilazar/ssm/)],
+Universidad de los Andes 
+	[[1](http://sistemas.uniandes.edu.co/~isis4712/dokuwiki/doku.php?id=tut_eugenia)],
+Budapest University of Technology and Economics 
+	[[1](https://inf.mit.bme.hu/sites/default/files/materials/category/kateg%C3%B3ria/oktat%C3%A1s/v%C3%A1laszthat%C3%B3-t%C3%A1rgyak/eclipse-alap%C3%BA-fejleszt%C3%A9s-%C3%A9s-integr%C3%A1ci%C3%B3/13/gmf.pdf)],
+Technical University of Dresden 
+	[[1](http://st-teach.inf.tu-dresden.de/wiki/images/The_Eclipse_Modeling_Framework_(EMF)_-_Christoph_Seidl_(commented).pdf)],
+University of Southern Denmark 
+	[[1](http://websrv0a.sdu.dk/ups/SSE02/slides/lecture-10.pdf)],
+Norwegian University of Science and Technology 
+	[[1](https://files.itslearning.com/data/ntnu/open/co37331/1759069.pdf)],
+University of Cadiz 
+	[[1](http://ocw.uca.es/pluginfile.php/2491/mod_resource/content/0/T5%20-%20Desarrollo%20del%20formato%20de%20representaci%C3%B3n.pdf)],
+McMaster University 
+	[[1](http://www.cas.mcmaster.ca/~maibaum/Toms_Mac_Site/CAS756.html)],
+University of Edinburgh 
+	[[1](http://www.inf.ed.ac.uk/teaching/courses/sdm/labs/mdd.html)]
\ No newline at end of file
diff --git a/n/mkdocs/docs/users/index.md b/n/mkdocs/docs/users/index.md
index 4663865..252d25d 100644
--- a/n/mkdocs/docs/users/index.md
+++ b/n/mkdocs/docs/users/index.md
@@ -1,6 +1,6 @@
 # Industry
 
- Below is a list of known industrial users of Epsilon (based on bug reports, forum messages, blog posts, tweets and published articles). If you'd like to report additional users of Epsilon in industry or you've spotted any outdated content, please let us know.
+ Below is a list of known industrial users of Epsilon (based on bug reports, forum messages, blog posts, tweets and published articles). If you'd like to report additional users of Epsilon in industry or you've spotted any outdated content, please [let us know](../../forum).
 
 ![BAE Systems](logos/bae.png)
 ![Bosch](logos/bosch.png)
diff --git a/n/mkdocs/docs/users/open-source.md b/n/mkdocs/docs/users/open-source.md
index afcf971..1f3dbdd 100644
--- a/n/mkdocs/docs/users/open-source.md
+++ b/n/mkdocs/docs/users/open-source.md
@@ -1 +1,44 @@
-# Open Source Projects
\ No newline at end of file
+# Open Source Projects
+
+Below is a list of open-source projects that are using languages and tools provided by Epsilon. If you'd like your project to appear here or you've spotted any outdated content, please [let us know](../../forum).
+
+- [NASA CertWare](http://nasa.github.com/CertWare/): The CertWare workbench contributes several core modules supporting safety case models, and extends these with a service-based APIs for plugging new capabilities into the workbench for processing these models.
+- [SAFECAP](http://safecap.sourceforge.net/): Safecap is an Eclipse-based tool for entering and analysing railway junction schemas. The tool can be used for the analysis of control table for junction signals, assessment of capacity impact of signal positioning and train detection circuit boundaries, and also for conducting semi-automatic or automatic changes to schema topology or control tables.
+- [T4UME](https://github.com/rdsea/T4UME): Uncertainty Modeling and Evaluation (UME) is a  methodology that aims at detecting uncertainty caused by missing information on system models. UME aims at contributing to the Uncertainty Modeling (UM) standardization activity supported by the OMG focusing on models created with UML. Tool for UME (T4UME) is the companion supporting tool implemented on top of state of the art MDE technologies.
+- [EMF Rest](http://emf-rest.com/): EMF-REST generates truly RESTful APIs for your EMF models. EMF-REST complements the existing (Java-based) API generation facilities EMF already provides and extends them to the Web.
+- [MTC Flow](http://mtcflow.com/): MTC Flow s a tool which allows model-driven developers to design, develop, test and deploy Model Transformation Chains (MTCs). The tool offers a graphical DSL for defining MTC workflows independently of implementation technologies.
+- [Melanee](http://melanee.org/): Melanee is a workbench for creating domain-specific languages which occupy an arbitrary number of ontological levels. It ships with a default general-purpose notation which is designed with the UML and Entity-Relationship diagrams in mind.
+- [JastEMF](https://code.google.com/a/eclipselabs.org/p/jastemf/): JastEMF is a tool to support the integrated use of the JastAdd system - a rewriteable, circular, reference attribute grammar (ReCRAG) generator - and the Eclipse Modeling Framework (EMF) - a Java based metamodeling framework built around the Ecore metamodeling language.
+- [Tigerstripe](http://www.eclipse.org/tigerstripe/): Tigerstripe is a framework for Model Driven Engineering (MDE) with special support for the Telecommunications Industry.
+- [LARES](http://lares.w3.rz.unibw-muenchen.de/): The aim of the LAnguage for REconfigurable dependable Systems (LARES) is to bridge the gap between high-level formalisms and formal modelling languages. LARES provides means for hierarchical modelling, i.e. it separates between the definition of structure and behaviour and introduces scopes to restrict visibility of definitions. The formal semantics of LARES has been defined by means of labelled Markov chains and stochastic process algebra (SPA).
+- [HiLeS](https://hiles.uniandes.edu.co/): The HiLeS2 Framework was developed to aid the Embedded System Designers during the design process. The HiLeS2 Framework purpose is to serve as a platform to create Embedded System Product Lines. It incorporates both tools developed by the group and open source tools to provide an Integrated Development Environment (IDE) suitable for system specification, product line construction and virtual prototype generation.
+- [EERCASE](https://sites.google.com/a/cin.ufpe.br/eercase/): The Enhanced Entity-Relationship (EER) Model is one of the most used modeling languages for the conceptual design of database. However, to the best of our knowledge, there are no metamodels and Computer-Aided Software Engineering (CASE) tool that provide support to code generation and schema validation from conceptual data model according to the EER classical notation (i.e., Chen/Elmasri and Navathe's notation -  cf. Fig below). Aiming to overcome the previous shortcoming, we have proposed a metamodel and a CASE tool named EER MetaModel (EERMM) and EERCASE, respectively.
+- [Mosskit](http://www.moskitt.org/eng/): Modeling Software KIT (MOSKitt) is a FREE CASE tool, built on Eclipse which is being developed by the Conselleria de Infraestructuras, Territorio y Medio Ambiente to support the gvMétrica methodology (adapting Métrica III to its specific needs). gvMétrica uses techniques based on the UML modeling language. MOSKitt's plugin architecture makes it not only a CASE Tool but also a Free Modeling Platform to develop this kind of tools.
+- [metaDepth](http://astreo.ii.uam.es/~jlara/metaDepth/): metaDepth is a framework for deep meta-modelling that provide supports for an arbitrary number of ontological meta-levels. This makes MetaDepth especially useful to define multi-level languages.
+- [bflow* Toolbox](http://sourceforge.net/projects/bflowtoolbox/): The bflow* Toolbox is an open source tool kit for business process management. The objective of bflow* is to explore new ways and scenarios for the development and use of modelling tools.
+- [Pongo MongoDB Generator](https://code.google.com/p/pongo/): Pongo is a template-based Java POJO generator for MongoDB. Instead of using low-level DBObjects to interact with your MongoDB database, with Pongo you can define your data/domain model using Emfatic and then generate strongly-typed Java classes you can then use to work with your database at a more convenient level of abstraction.
+- [TENTE C#](https://code.google.com/p/tentecsharp/): TENTE is a contribution for SPL architectural design and implementation. This process integrates relevant advances, from an SPL point of view, for separation of concerns and MDD technologies. This project contains the TENTE code generators for the C# approach.
+- [Brics](http://www.best-of-robotics.org/): The prime objective of BRICS is to structure and formalize the robot development process itself and to provide tools, models, and functional libraries, which help accelerating this process significantly.
+- [MIDE](http://sourceforge.net/projects/mide-bgu/): MIDE is an IDE for working with UML Class Diagrams. It extends the Eclipse UML2 Editor and enables carrying out complex tasks in one click, and provides a pattern-matching engine for detecting design errors as soon as they are made
+- [Event-B](http://wiki.event-b.org/index.php/Transformation_patterns): Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of refinement to represent systems at different abstraction levels and the use of mathematical proof to verify consistency between refinement levels.
+- [PhpNoDB](https://code.google.com/p/phpnodb/): While having a database is essential for any large-scale website, it can be an overkill for smaller projects/prototypes where read-only access to a small dataset would be sufficient. To save you the trouble of setting up and managing a database if you don't really need one, phpnodb lets you capture your data in a Google Spreadsheet and then generate from it a standalone PHP class that contains an embedded copy of your data.
+- [Collaborative Modeling Framework](https://github.com/philipdesmedt/Thesis-Android): This modeling framework uses the MetaDepth framework to model and generate collaborative Android applications. The framework includes - among others - chat, Dropbox, Foursquare and geo components.
+- [Product Line Documentation Toolkit for Eclipse](https://code.google.com/p/pldoctoolkit/): The aim of the project is to create an Eclipse plugin to support text and visual editing and validating of DRL documents. DRL stands for 'Document Reuse Language' - a special document markup language incorporating docbook features, designed for creating documentation for a series of highly-interrelated software products, otherwise known as 'Product Line'.
+- [Context Manager Framework](https://code.google.com/a/eclipselabs.org/p/context-manager/): Context Manager Framework is a ongoing work at Department of Engineering and Computer Science and Mathematics at University of L'Aquila. It includes model-based methodologies and tools to support the non-functional (a.k.a. extra-functional)aspects of context-aware software systems.
+- [Design Framework for Embedded Systems](http://df.esi.nl/): The Design Framework is a tool that helps you to link all design activities to concrete design artifacts and to track consistency of these artefacts
+- [UNC Chapel Hill Libraries](https://github.com/UNC-Libraries/): University of North Carolina at Chapel Hill Libraries open-source project. Library metadata models and mapping tools implemented in Eclipse Modelling Framework (EMF).
+- [MetaGem](http://metagem.wordpress.com/): MeTAGeM is a Meta-Tool for the Automatic Generation of Model Transformations that makes possible to put into practice the MDE (Model-Driven Engineering) principles for developing model transformations, defining model transformations as models, without considering details of the code implementation.
+- [AceEdit](http://acedit.googlecode.com): Editor for Assurance Cases, Implementing the Goal Structuring Notation (GSN) and the OMG Argumentation Metamodel (ARM). The editor implements the GSN standard as specified at www.goalstructuringnotation.info and the ARM standard available from sysa.omg.org
+- [Ecore 2 Doctrine](https://github.com/stephaneerard/org.se.ecore.doctrine.epsilon.transformer): Ecore 2 Doctrine Model-to-model transformer
+- [Unicaneer2Sql](http://code.google.com/p/unicaneer2sql/): An Eclipse plugin for model-driven development of databases. The application provides facilities to create graphical ER models and generates code for SLQ Sever and Oracle.
+- [Reflo](http://code.google.com/a/eclipselabs.org/p/reflo/): This project aims to provide a machine-assisted environment for developers model programs, using a dataflow notation. It also provides a rewriting system for dataflow graphs.
+- [Prediqt Editors](https://code.google.com/a/eclipselabs.org/p/prediqt-editors/): Two versions of a editor for the PREDIQT method, one created using GMF, the other created using Graphiti.
+- [Kybele GMF Gen](http://kybelegmfgen.googlecode.com): Kybele GMF Generator (also known as KybeleGMFgen) is a new Model-Driven Software Development (MDSD) tool for Eclipse Modeling Tools for creating, in only a few steps, graphical editors from manually annotated metamodels and customization files.
+- [MODEmbed](http://balazsgrill.github.io/modembed/): MODembed is an experimental IDE aiming to provide a more advanced toolchain for embedded software development. It provides a model-based approach for defining the whole compilation process. The project aims to create a full-featured IDE which can support every aspect of an embedded system design using a model-based approach.
+- [rFSM Modeling](https://github.com/gijss/rfsm-modeling): The purpose of this project is to create a meta-model for the representation of rFSM programs. This project contains a meta-model of rFSM, a grammar which is only defined for testing purposes, a complete programming environment based on that Xtext grammar, and a Lua code generation based on the model of an rFSM program.
+- [HyperFlex](https://github.com/Robotics-UniBG/HyperFlex): HyperFlex is a collection of Eclipse plugins that support the development of robotics software product lines, a family of similar applications that are built reusing a set of software components and share the same architecture. HyperFlex provides a set of tools for designing variability models and architectural models for the most spread Robotics Software Frameworks (ROS, Orocos and the cloud-based Rapyuta).
+- [FraMED](https://github.com/leondart/FRaMED): FRaMED is the First Role Modeling EDitor allowing the graphical specification of Role-based Software Systems by means of compartments (aka. contexts), objects, roles, and relationships. Additionally, it supports a varity of constraints upon roles and relationships.
+- [Tura](http://sourceforge.net/projects/tura/): Tura provides support for model-driven development of JEE/JSF web applications. Tura provides a dedicated domain-specific language for modelling web applications, supporting editors and generators built using the EMF, GMF and Epsilon frameworks, and supports the full development lifecycle including code generation, testing, compilation, building, and deployment.
+- [MMINT](https://github.com/adisandro/MMINT): Model Management INTeractive (MMINT) is an Eclipse-based workbench for graphical, interactive model management. MMINT allows modelers to do rapid prototyping and exploratory modeling while seamlessly keeping track of all relevant artifacts in their workspace. MMINT is developed by the Software Engineering group at the University of Toronto, under the supervision of Professor Marsha Chechik.
+- [MDebugger](https://github.com/moji1/MDebugger): MDebugger is a platform-independent model-level debugger for UML-RT models. It provides live debugging features (e.g., breakpoints) to debug generated systems from UML-RT models without using any program debugger or referring to the generated source code. To make it platform-independent, it uses model transformation (i.e. the Epsilon Object Language) to add support for debugging capabilities to the models.
+
diff --git a/n/mkdocs/mkdocs.yml b/n/mkdocs/mkdocs.yml
index 8fc1706..a81c7ed 100644
--- a/n/mkdocs/mkdocs.yml
+++ b/n/mkdocs/mkdocs.yml
@@ -1,33 +1,35 @@
-site_name: Eclipse Epsilon
+site_name: Epsilon
 nav:
   - Home: index.md
   - Download : 'download'
-  - Languages:
-      - Core language (EOL): 'doc/eol.md'
-      - Model connectivity: 'doc/emc.md'
-      - Code generation (EGL): 'doc/egl.md'
-      - Model validation (EVL): 'doc/evl.md'
-      - Model transformation (ETL): 'doc/etl.md'
-      - Model comparison (ECL): 'doc/ecl.md'
-      - Model merging (EML): 'doc/eml.md'
-      - Pattern matching (EPL): 'doc/epl.md'
-      - Model Migration (Flock): 'doc/flock.md'
-      - Model generation (EMG): 'doc/emg.md'
-      - Unit testing (EUnit): 'doc/eunit.md'
-  - Tools:
-      - Picto: 'doc/picto/index.md'
-      - Flexmi: 'doc/flexmi/index.md'
-      - Eugenia: 'doc/eugenia/index.md'
-      - Exeed: 'doc/exeed/index.md'
-      - Modelink: 'doc/modelink.md'
-      - HUTN: 'doc/hutn.md'
-      - Workflow (Ant tasks): 'doc/workflow.md'
-  - Articles: 'doc/articles/index.md'
-  - Screencasts: 'https://www.youtube.com/epsilondevs'
-  - Lectures: 'https://www.youtube.com/playlist?list=PLRwHao6Ue0YUecg7vEUQTrtySIWwrd_mI'
-  - Javadoc:
-    - Stable: 'https://download.eclipse.org/epsilon/2.0/javadoc/'
-    - Interim: 'https://download.eclipse.org/epsilon/latest/javadoc/'
+  - Documentation:
+    - Overview: 'doc/index.md'
+    - Languages:
+        - Object language (EOL): 'doc/eol.md'
+        - Model connectivity: 'doc/emc.md'
+        - Code generation (EGL): 'doc/egl.md'
+        - Model validation (EVL): 'doc/evl.md'
+        - Model transformation (ETL): 'doc/etl.md'
+        - Model comparison (ECL): 'doc/ecl.md'
+        - Model merging (EML): 'doc/eml.md'
+        - Pattern matching (EPL): 'doc/epl.md'
+        - Model Migration (Flock): 'doc/flock.md'
+        - Model generation (EMG): 'doc/emg.md'
+        - Unit testing (EUnit): 'doc/eunit.md'
+    - Tools:
+        - Picto: 'doc/picto/index.md'
+        - Flexmi: 'doc/flexmi/index.md'
+        - Eugenia: 'doc/eugenia/index.md'
+        - Exeed: 'doc/exeed/index.md'
+        - Modelink: 'doc/modelink.md'
+        - HUTN: 'doc/hutn.md'
+        - Workflow (Ant tasks): 'doc/workflow.md'
+    - Articles: 'doc/articles/index.md'
+    - Screencasts: 'https://www.youtube.com/epsilondevs'
+    - Lectures: 'https://www.youtube.com/playlist?list=PLRwHao6Ue0YUecg7vEUQTrtySIWwrd_mI'
+    - Javadoc:
+      - Stable: 'https://download.eclipse.org/epsilon/2.0/javadoc/'
+      - Interim: 'https://download.eclipse.org/epsilon/interim/javadoc/'
   - Community:
       - Who is using Epsilon?:
         - Industry: 'users/index.md'
@@ -41,18 +43,19 @@
   features:
     - tabs
   custom_dir: custom_theme
-  logo: 'assets/images/epsilon-logo-round.png'
+  logo: 'assets/images/epsilonlogo.big.sphere.png'
   palette:
-    primary: 'deep purple'
-    accent: 'deep purple'
+    primary: 'black'
+    accent: 'orange'
 repo_name: 'Git repository @ Eclipse'
 repo_url: 'git://git.eclipse.org/gitroot/epsilon/org.eclipse.epsilon.git'
 markdown_extensions:
   - admonition
+  - meta
   - footnotes
   - codehilite:
       guess_lang: false
-      linenums: true
+      linenums: false
   - toc:
       permalink: true
 plugins:
@@ -68,4 +71,4 @@
 
 copyright: 'Copyright © Eclipse Foundation, Inc. All Rights Reserved.'
 extra_css:
-  - 'stylesheets/extra.css'
+  - '/stylesheets/extra.css'