Paul Beltyukov <beltyukov.p.a@gmail.com> [Tue, 09 May 2017 21:46:44 +0100] rev 1051
Fix bug: allow global variables of type DT (initial values for DT are not const!)
Andrey Skvortsov <andrej.skvortzov@gmail.com> [Sun, 16 Apr 2017 09:00:09 +0100] rev 1050
Add comment stating how to enable debug option in flex.
Mario de Sousa <msousa@fe.up.pt> [Sun, 16 Apr 2017 08:46:58 +0100] rev 1049
merge