Updated CDs

I have provisionally updated the following CDs, giving them a date of 2009-04-01 and review date 2014-04-01. I bumped the major version number by one in the cases a new symbol added.

interval1

Added ordered_interval, James as you said you'd want to do this one this is just a stub with no FMP, just to allow me to get the xsl in place. Also to change the examples in calculus1.

calculus1

Add partialdiffdegree (perhaps should be partialdiff_degree or something...)

fns1

Added a new symbol "restriction" to support the use of domainofapplucation in mathml. Deprecated the existing domainofapplication symbol, and document it's an alias for the symbol domain.

fns2

Fix referenced name in examples from make_list to map.

nums1

Add based_float (eg 10.4 in base 8 is eight and a half) which is probably pointless but I think its better to do this than build some horrible rewrite into MathML3 to change the base to 10.

mathmlattr

Encode MathML attributes in OpenMath.

mathmlkeys

MathML annotation keys.

GNU ChangeLog

Full Change log

2009-05-31    

	* cd/mathmlkeys.ocd: Copy from old mathml3 draft svn cd area.
	make valid to omcd2.rnc.

	* sts/mathmlkeys.sts: new file

2009-04-28    

	* sts/mathmlattr.sts: add style,definitionURL,other
	* cd/mathmlattr.ocd: add style,definitionURL,other

2009-04-27    

	* sts/mathmlattr.sts: new CD
	* cd/mathmlattr.ocd: new CD

2009-04-23    

	* xsl/fns2.xsl: added template so a < b < c works.
	* cd/fns2.ocd: New FMP for predicate_on_list from James Davenport.

2009-04-19    

	* cd/fns2.ocd: Version 4, add predicate_on_list
	* cd/fns2.sts: add predicate_on_list

2009-04-05    <David Carlisle@DCARLISLE>

	* cd/calculus1.ocd: Use ordered_interval in defint examples
	* xsl/calculus1.xsl: Support ordered_interval in defint

	* sts/nums1.sts: based_float
	* cd/nums1.ocd: based_float
	* xsl/nums1.xsl: based_float, also correct rendering of based_integer
	

2009-04-03    <David Carlisle@DCARLISLE>

	* cd/fns2.ocd: Fix referenced name in examples from make_list to map.

	* sts/fns1.sts: add restriction
	* xsl/fns1.xsl: add restriction
	* cd/fns1.ocd: add restriction, deprecate domainofapplication

	* sts/calculus1.sts: add partialdiffdegree
	* xsl/calculus1.xsl: add partialdiffdegree
	* cd/calculus1.ocd: add partialdiffdegree

	* sts/interval1.sts: add ordered_interval
	* xsl/interval1.xsl: add ordered_interval
	* cd/interval1.ocd: add ordered_interval