posted by paul at Feb 26, 2008 1:41 PM
Quote
| Running antFarm: Yes, can not load Komma in the window (tried this via the "+")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
posted by marianne at Feb 18, 2008 8:46 AM
Quote
Reply to the two last comments:Running antFarm: Yes, can not load Komma in the window (tried this via the "+")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.FYI: I also changed $P(A)$ to $ap(P,A)$ as it is a effectively is a function. Hope this is ok.Must be a major error with the two other files, right? I don't see where I could start working with them now.
posted by paul at Feb 14, 2008 8:30 PM
Quote
I have now committed and uploaded a fixed version
(with the omdocs committed)
I haven't fixed omega and co but now you know how to do it.paul
posted by paul at Feb 14, 2008 5:22 PM
Quote
Simple simple...You need to commit the omdoc files as well.
I.e. you need to run the jEditOQMahth's build process.Can it be you have issues doing so?paul
posted by marianne at Feb 13, 2008 1:35 PM
Quote
There are two oqmath-files (one for geometry, one for statistics) that are still missing. I made it available, here on libresource.I see the errors but do not know why they are there, e.g. titles, umlaute. source code seems quite ok to me.MarianneP.S.: "stat-komma.oqmath" and "geo-komma.oqmath" are the files' names. additionaly several images have been added
posted by paul at Feb 13, 2008 12:55 PM
Quote
Can it be that there's a single page lexicon in there ?
Where are all the exercises ?Also… I see at least:
- wrong math (e.g. cdot...)
- encoding issues
posted by paul at Feb 13, 2008 10:45 AM
Quote
Hello,I wanted to say that the Komma collection is now checked out on lecture.activemath.org.
This server is the "authoring preview server"… actually it should have another name.Everyone can login there and is an author.
Once logged-in, you have, under tools, the access to MBaseRef tools which gives you a way to list the content and show the digested OMDocs. You can also request reload which should request so6 update, i.e. update from this project's synchronizer.Maybe it's worth announcing this on the ActiveMath-EU mailing-list soon ?Enjoy.paul