Fixed the semantics of ALL.
Added OR to Library.mu.
Fixed a bug in the makeMuAll.
Similar fix to the makeMuOne.
Experimenting with replacement of muAll with a call to ALL.
Experimenting with replacement of muAll with a call to ALL.
Enabled nested coroutine definitions.
Merge branches 'master' and 'muAnd-muOr' of https://github.com/cwi-swat/rascal into muAnd-muOr
Replacing muAll and muOr with calls to ALL and OR.
Merge branches 'master' and 'muAnd-muOr' of https://github.com/cwi-swat/rascal into muAnd-muOr
Replacing muAll and muOr with calls to ALL and OR.
Replacing muAll and muOr with calls to ALL and OR.
addColorAxis added
Replacing muAll and muOr with calls to ALL and OR: bugfix and optimization.
Merge branches 'master' and 'muAnd-muOr' of https://github.com/cwi-swat/rascal into muAnd-muOr
Fixed handling nested coroutine definitions.
Minor fixes.
Minor fixes.
Minor fixes.
Resolving the issue with temporaries; essential when replacing muAll and muOr with calls to ALL and OR.