develop.efeChallenge.moreQuestions
 in progress
develop.efeChallenge.moreQuestions in progress
develop.efeChallenge.moreQuestions in progress
develop.efeChallenge.moreQuestions in progress
develop.efeChallenge.moreQuestions in progress
develop.efeChallenge.moreQuestions in progress
develop.efeChallenge.moreQuestions in progress (!compile) working on robust comparison of answers
Merge remote-tracking branch 'mainGitHub/develop' into develop
Maybe it works now..
develop.efeChallenge.moreQuestions in progress
develop.efeChallenge.moreQuestions in progress
develop.efeChallenge.moreQuestions: in progress +
parameterized type problems
develop.efeChallenge.moreQuestions: finally, finished and tested! The new question type (distribute predicate) also works.
Merge branch 'develop.efeChallenge.moreQuestions' into develop
version 0.6.0
.
correct some misconfigs in 0.6.0
Merge remote-tracking branch 'mainGitHub/develop' into develop
Merge branch 'develop.CTLtransformations' of https://github.com/Mussie1/SWiFTfososc into develop.CTLtransformations