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! |