Please be more precise, you really need the build.xml inside the komma directory.

| Omega and Co: $Ω$ have completed inserting this, wherever necessary. but none of those is visible on lecture.activemath as far as I see. I guess it's not defined properly.

This really needs the OMDoc to contain that… so ant-farm compilation has to work.

| FYI: I also changed $P(A)$ to $ap(P,A)$ as it is a effectively is a function. Hope this is ok.

that's quite ok

| Must be a major error with the two other files, right? I don't see where I could start working with them now.

I am not sure I grasp except for the broken checkout that was fixed already… later than this post but just yersterday.

paul