added license, readme and .gitignore
initial version upload as of SVN tag 'scan19419'
added initial icon set
updates 20140815
Mick's Utils uploaded, R.I.P.
merged with xt
non-functional refactoring: renamed exceptions
(1.) samples included. (2.) exception renaming reverted (two classnames auto-refactored). [ as of corporate c5a55c0d93a28cc18aab252966a1886cb95ef980 ]
made another junit test class public [ as of corporate 53a419e10416d6560fb5d5d69bf4325b7b89805c ]
(1.) showcases added. (2.) git meta maintained [ as of corporate a12a6e6a8d3f23a368001127d3a974454802690c ]
renamed c++ base project into mbtarr_base and its contained classes. generators adapted respectively. [ as of corporate 3d67a42dd8194cdcf4c45857570cd438908e64e9 ]
code cleanup and minor bugfixes and extra filters for SPIN interaction [ as of corporate c9e054d1df9a1f1cb5970d488d379eb3a7350035 ]
 [ as of corporate 119950b775b30907495a61134b590a2c80e45e36 ]
ARRANGE - timelabels: grammar and lexer extensions [ as of corporate 93fa095b2ff1c7313dd58f7ce72e31c25ecef0f0 ]
ArrangeLexer.g4 and ArrangeParser.g4 - inserted extra whitespace-preserving section formula inside ltl container [ as of corporate f29e04716b60b28f967e8bd114ea14a8bf7b5144 ]
Merge remote-tracking branch 'upstream_eder/master' into gh-pages