[Om] wiki.openmath.org out of whack?
Lars.Hellstrom at residenset.net
Mon May 7 18:30:06 CEST 2012
I was wondering if it is stated anywhere what sort of thing an element of a
set1#cartesian_product is supposed to be (unless I hear otherwise, I will
probably assume it can be a list1#list), but the OM2 CD didn't have anything
to say on the matter. Thinking that there /maybe/ might be something more
said on the wiki, I followed the link
http://wiki.openmath.org/?title=OpenMath_2_CDs (as found in
http://www.openmath.org/cd/index.html), but that just forwards me to
http://wiki.openmath.org/setup.jsp, which doesn't look like something I'm
supposed to be seeing. A plain http://wiki.openmath.org/ URL also forwards
to the same setup.jsp.
Did I just pop in at the wrong time, or is this a "known problem"? Is maybe
the link as such wrong?
More information about the Om