Website for the Eclipse Hawk project

Clone this repo:


  1. 9428c8a Update website after 2.0.0 release by Antonio García-Domínguez · 9 weeks ago master
  2. d8390f1 Use markdownextradata mkdocs plugin to unify stable and interim version numbers by Antonio García-Domínguez · 3 months ago
  3. 61d9e0d Add MODELS 2019 time aware querying paper by Antonio García-Domínguez · 3 months ago
  4. e8bb563 List ports to be opened in Hawk server by Antonio García-Domínguez · 3 months ago
  5. 41a5d41 Rebuild website by Antonio García-Domínguez · 3 months ago

Hawk website

This repository hosts the MkDocs source code for the Eclipse Hawk website.


To work on the website, go into the mkdocs folder and set up a Python 3 virtualenv environment and install the dependencies through pip:

virtualenv -p python3 env
pip install -r requirements.txt

The virtualenv environment will remain active until you terminate that console session. If you want to continue working on the website, you will need to reactivate the environment with:

source env/bin/activate

Once the virtualenv environment is activated and the project dependencies have been installed, you can start the built-in development server with:

mkdocs serve

Available extensions

The website has a number of useful Markdown extensions enabled:


After a new version of the website is ready and before you push, make sure you build it with the script inside mkdocs.