globalmaphack: be more general (fmap, factoring, ...)
[mate.git] / rts /
2012-08-23 Harald Steinlechnerexperiments with JNI;