25/01/2019
---
Check out new web interface for the exercises !
Many thanks to Mark Gondelman and Carlo Meijer for helping me out with web interface.
15/01/2019
---
Mário Pereira has joined the team !
We are going to work on making a TEX-package for AutoMate and extracting the structure and description of exercises from latex sources.
08/01/2019
---
The AutoMate tool is released!