> an old version of CWM that does not support the > ?x syntax for universally quantified variables Actually, now I think about it, if that were the case then the warning should come on earlier instances of the variables used in the file. I still suggest using a later version of CWM, however, as often odd bugs creep in that are then fixed somewhere down the line. -- Sean B. Palmer, <http://purl.org/net/sbp/> "phenomicity by the bucketful" - http://miscoranda.com/Received on Saturday, 22 November 2003 18:34:52 GMT
This archive was generated by hypermail 2.2.0 + w3c-0.30 : Friday, 25 March 2005 11:20:43 GMT