Dear Commonners,
Just wanted to say that under
http://klein.ags.uni-sb.de/~paul/JellyDoc/
you'll find a jelly documentation reflecting the current revision.
Thus far, I think it includes all patches to documentation I've seen.It would be nice if people have a look and tell me wether something is wrong. The whole experience is pretty much suffering of Maven's youth... building the website was impossible thus far with the reactor and with maven forking processes it takes about an hour... (every time).
If people don't see anything too wrong in this, I'll start uploading.
Thanks.
Paul
--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
