added license header for sat #249
added license header for parser #249
added license header vdmtools #249
added license header to type checker #249
Detect spurious trailing tokens in flat specifications, fixes #352
Updated some test results related to generation of union types
added version number to VDMUnit v 2.0.0
Added test revealing problem with code generation of union types for the call object statement
Fix for code geneation of the call object statement when the object type is a union type
Updated test results related to code generation of the apply expressions where union types are being used
Added test revealing problem with code generating of the apply expression and union typpes
Added some tests and updated some test results related to code generation of the apply expressions and union types
Added a few more tests to exercise code generation of the apply expression for strings when the object type is a union type
Extended the type assistant with extra utility functionality
Fix for code generation of the apply expression when the object type is a union type
Added handling of the -basedDir argument in VDMJ (it was missing)
Changed the way LateX is coloured in the editor so it does not highlight VDM keywords anymore
Small improvements to the goto definition handler
Merge remote-tracking branch 'origin/kel/astv2' into pvj/main
Merge remote-tracking branch 'origin/ncb/development' into pvj/main