2006-02-15: Tiago Miguel Laureano Alves <tiago.alves@di.uminho.pt>
        * Finished first version of the haskell analysis functions to create
          function and type dependencies graphs.

2005-07-12: Tiago Miguel Laureano Alves <tiago.alves@di.uminho.pt>
        * Added a non-terminal to the exported sort list to allow parsing
          using that non-terminal as start symbol
        * Redefined a rule with two productions as a hack for an implodePT
          bug.

2004-12-25: Tiago Miguel Laureano Alves <tiago.alves@di.uminho.pt>
        * Corrected a lexical ambiguity in the grammar.
        * Improved makefiles for adding the Haskell front-end.
        * Added Haskell front-end providing a parsing tool for VDM exporting
          AST of the program read or its pretty-printed version.

2004-12-04: Tiago Miguel Laureano Alves <tiago.alves@di.uminho.pt>
        * Added construct names, for generating AST
        * Changed grammar shape to remove injections

2004-12-02: Tiago Miguel Laureano Alves <tiago.alves@di.uminho.pt>
        * Unambiguous grammar that can be used for parsing.
        * Changed RecordConstructor rule to disambiguate with Apply rule
        * Changed IsDefinedTypeExpression rule to disambiguate with Apply rule
        * Found ambiguities in Statements between Expression | CallStatement
          and gave preference to Expression.

2004-11-12: Tiago Miguel Laureano Alves <tiago.alves@di.uminho.pt>
        * SDF Specification of the ISO grammar.