ported back relevant parts of muLib integration

Authored by junge on Oct 4 2018, 10:12.

Description

ported back relevant parts of muLib integration

Details

Committed
jungeOct 4 2018, 10:12
Pushed
jungeOct 4 2018, 10:13
Parents
rMUSPECTRE46721b412ed9: Enumerable Dynamic Field Maps and Globalisation of Local Fields
Branches
Unknown
Tags
Unknown
Restricted Application completed building Restricted Buildable.Oct 4 2018, 10:40