Hi Claus,
in between writing grant proposals that are supposed to ensure the
future development of codeface, I've finally come around to doing
some actual development and merging the conway branch and your changes
from the last half year. Things are in branch for-upstream. Since it
passes all integration tests and has also shown to work properly for
things I'm currently working on, I would make for-upstream the new
master unless you (or anyone else) has objections (since there are too
many commits and too many merges in the conway branch, it does not make
sense to post this material here for review).
As usual, I'm sorry that it took nearly infinite time to merge your
contributions. Perhaps focusing on developing codeface and not on
writing grant applications would be wiser as for the impact
on research ;)
Best regards, Wolfgang
