Added six tests to exercise generation of the sub sequence expression
Updated the VDM libraries used by the code generator to the most recent ones
Updated the codegen runtime with functionality to support generation of the subsequence expression
Added support for generation of the subsequence expression
Added test revealing problem with code generation of the apply object designator
Fix for generation of the apply object designator
Binds and multiple binds are now allowed to use patterns and not only identifier patterns
fixed #290 change the Text to a StylesText and applyed the VDM SL code scanner such that all PO's are highlighted using the VDMSL style which should include all expressions
updated quick interpreter to use style text too showing the same highlight as VDM-SL
adding license to model checker module
added license to guibuilder
added license for prettyprinter
added license header for test framework #249
added license header for testing #249
added license for codeine #249
added license header for codegen-runtime #249
added license header and removed commented files in combinatorial testing #249
#249 added ignore for ct
#249 added license header and removed comments files for ide/core
#249 added license header for builders