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? Lars Hellström _______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
