2002/css-validator/org/w3c/css/media/css3 AtRuleMedia.java,1.4,1.5 MediaAspectRatio.java,1.2,1.3 MediaColor.java,1.2,1.3 MediaColorIndex.java,1.2,1.3 MediaDeviceAspectRatio.java,1.2,1.3 MediaDeviceHeight.java,1.2,1.3 MediaDeviceWidth.java,1.2,1.3 MediaGrid.java,1.1,1.2 MediaHeight.java,1.2,1.3 MediaMonochrome.java,1.2,1.3 MediaOrientation.java,1.2,1.3 MediaResolution.java,1.1,1.2 MediaScan.java,1.1,1.2 MediaWidth.java,1.2,1.3

Update of /sources/public/2002/css-validator/org/w3c/css/media/css3
In directory hutz:/tmp/cvs-serv6098

Modified Files:
	AtRuleMedia.java MediaAspectRatio.java MediaColor.java 
	MediaColorIndex.java MediaDeviceAspectRatio.java 
	MediaDeviceHeight.java MediaDeviceWidth.java MediaGrid.java 
	MediaHeight.java MediaMonochrome.java MediaOrientation.java 
	MediaResolution.java MediaScan.java MediaWidth.java 
Log Message:
@spec links bumped to REC

Index: MediaDeviceAspectRatio.java
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/media/css3/MediaDeviceAspectRatio.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- MediaDeviceAspectRatio.java	22 Oct 2011 13:36:22 -0000	1.2
+++ MediaDeviceAspectRatio.java	19 Jun 2012 19:21:22 -0000	1.3
@@ -13,7 +13,7 @@
 import org.w3c.css.values.CssValue;
 
 /**
- * @spec http://www.w3.org/TR/2010/CR-css3-mediaqueries-20100727/#device-aspect-ratio
+ * @spec http://www.w3.org/TR/2012/REC-css3-mediaqueries-20120619/#device-aspect-ratio
  */
 public class MediaDeviceAspectRatio extends MediaFeature {
 

Index: MediaWidth.java
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/media/css3/MediaWidth.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- MediaWidth.java	9 Feb 2012 17:36:27 -0000	1.2
+++ MediaWidth.java	19 Jun 2012 19:21:22 -0000	1.3
@@ -15,7 +15,7 @@
 import org.w3c.css.values.CssValue;
 
 /**
- * @spec http://www.w3.org/TR/2010/CR-css3-mediaqueries-20100727/#width
+ * @spec http://www.w3.org/TR/2012/REC-css3-mediaqueries-20120619/#width
  */
 public class MediaWidth extends MediaFeature {
 

Index: AtRuleMedia.java
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/media/css3/AtRuleMedia.java,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -d -r1.4 -r1.5
--- AtRuleMedia.java	9 Feb 2012 17:36:26 -0000	1.4
+++ AtRuleMedia.java	19 Jun 2012 19:21:22 -0000	1.5
@@ -14,7 +14,7 @@
 import java.util.ArrayList;
 
 /**
- * @spec http://www.w3.org/TR/2010/CR-css3-mediaqueries-20100727/
+ * @spec http://www.w3.org/TR/2012/REC-css3-mediaqueries-20120619/
  */
 
 public class AtRuleMedia extends org.w3c.css.media.AtRuleMedia {

Index: MediaResolution.java
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/media/css3/MediaResolution.java,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -d -r1.1 -r1.2
--- MediaResolution.java	21 Oct 2011 01:49:08 -0000	1.1
+++ MediaResolution.java	19 Jun 2012 19:21:22 -0000	1.2
@@ -14,7 +14,7 @@
 import org.w3c.css.values.CssValue;
 
 /**
- * @spec http://www.w3.org/TR/2010/CR-css3-mediaqueries-20100727/#resolution
+ * @spec http://www.w3.org/TR/2012/REC-css3-mediaqueries-20120619/#resolution
  */
 public class MediaResolution extends MediaFeature {
 

Index: MediaDeviceHeight.java
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/media/css3/MediaDeviceHeight.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- MediaDeviceHeight.java	9 Feb 2012 17:36:26 -0000	1.2
+++ MediaDeviceHeight.java	19 Jun 2012 19:21:22 -0000	1.3
@@ -15,7 +15,7 @@
 import org.w3c.css.values.CssValue;
 
 /**
- * @spec http://www.w3.org/TR/2010/CR-css3-mediaqueries-20100727/#device-height
+ * @spec http://www.w3.org/TR/2012/REC-css3-mediaqueries-20120619/#device-height
  */
 public class MediaDeviceHeight extends MediaFeature {
 

Index: MediaHeight.java
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/media/css3/MediaHeight.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- MediaHeight.java	9 Feb 2012 17:36:27 -0000	1.2
+++ MediaHeight.java	19 Jun 2012 19:21:22 -0000	1.3
@@ -15,7 +15,7 @@
 import org.w3c.css.values.CssValue;
 
 /**
- * @spec http://www.w3.org/TR/2010/CR-css3-mediaqueries-20100727/#height
+ * @spec http://www.w3.org/TR/2012/REC-css3-mediaqueries-20120619/#height
  */
 public class MediaHeight extends MediaFeature {
 

Index: MediaColor.java
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/media/css3/MediaColor.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- MediaColor.java	9 Feb 2012 17:36:26 -0000	1.2
+++ MediaColor.java	19 Jun 2012 19:21:22 -0000	1.3
@@ -14,7 +14,7 @@
 import org.w3c.css.values.CssValue;
 
 /**
- * @spec http://www.w3.org/TR/2010/CR-css3-mediaqueries-20100727/#color
+ * @spec http://www.w3.org/TR/2012/REC-css3-mediaqueries-20120619/#color
  */
 public class MediaColor extends MediaFeature {
 

Index: MediaMonochrome.java
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/media/css3/MediaMonochrome.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- MediaMonochrome.java	9 Feb 2012 17:36:27 -0000	1.2
+++ MediaMonochrome.java	19 Jun 2012 19:21:22 -0000	1.3
@@ -14,7 +14,7 @@
 import org.w3c.css.values.CssValue;
 
 /**
- * @spec http://www.w3.org/TR/2010/CR-css3-mediaqueries-20100727/#monochrome
+ * @spec http://www.w3.org/TR/2012/REC-css3-mediaqueries-20120619/#monochrome
  */
 public class MediaMonochrome extends MediaFeature {
 

Index: MediaGrid.java
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/media/css3/MediaGrid.java,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -d -r1.1 -r1.2
--- MediaGrid.java	21 Oct 2011 01:49:07 -0000	1.1
+++ MediaGrid.java	19 Jun 2012 19:21:22 -0000	1.2
@@ -14,7 +14,7 @@
 import org.w3c.css.values.CssValue;
 
 /**
- * @spec http://www.w3.org/TR/2010/CR-css3-mediaqueries-20100727/#grid
+ * @spec http://www.w3.org/TR/2012/REC-css3-mediaqueries-20120619/#grid
  */
 public class MediaGrid extends MediaFeature {
 

Index: MediaScan.java
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/media/css3/MediaScan.java,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -d -r1.1 -r1.2
--- MediaScan.java	21 Oct 2011 01:49:08 -0000	1.1
+++ MediaScan.java	19 Jun 2012 19:21:22 -0000	1.2
@@ -14,7 +14,7 @@
 import org.w3c.css.values.CssValue;
 
 /**
- * @spec http://www.w3.org/TR/2010/CR-css3-mediaqueries-20100727/#scan
+ * @spec http://www.w3.org/TR/2012/REC-css3-mediaqueries-20120619/#scan
  */
 public class MediaScan extends MediaFeature {
 

Index: MediaOrientation.java
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/media/css3/MediaOrientation.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- MediaOrientation.java	19 Jun 2012 18:59:33 -0000	1.2
+++ MediaOrientation.java	19 Jun 2012 19:21:22 -0000	1.3
@@ -14,7 +14,7 @@
 import org.w3c.css.values.CssValue;
 
 /**
- * @spec http://www.w3.org/TR/2010/CR-css3-mediaqueries-20100727/#orientation
+ * @spec http://www.w3.org/TR/2012/REC-css3-mediaqueries-20120619/#orientation
  */
 public class MediaOrientation extends MediaFeature {
 

Index: MediaDeviceWidth.java
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/media/css3/MediaDeviceWidth.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- MediaDeviceWidth.java	9 Feb 2012 17:36:26 -0000	1.2
+++ MediaDeviceWidth.java	19 Jun 2012 19:21:22 -0000	1.3
@@ -15,7 +15,7 @@
 import org.w3c.css.values.CssValue;
 
 /**
- * @spec http://www.w3.org/TR/2010/CR-css3-mediaqueries-20100727/#device-width
+ * @spec http://www.w3.org/TR/2012/REC-css3-mediaqueries-20120619/#device-width
  */
 public class MediaDeviceWidth extends MediaFeature {
 

Index: MediaColorIndex.java
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/media/css3/MediaColorIndex.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- MediaColorIndex.java	9 Feb 2012 17:36:26 -0000	1.2
+++ MediaColorIndex.java	19 Jun 2012 19:21:22 -0000	1.3
@@ -14,7 +14,7 @@
 import org.w3c.css.values.CssValue;
 
 /**
- * @spec http://www.w3.org/TR/2010/CR-css3-mediaqueries-20100727/#color-index
+ * @spec http://www.w3.org/TR/2012/REC-css3-mediaqueries-20120619/#color-index
  */
 public class MediaColorIndex extends MediaFeature {
 

Index: MediaAspectRatio.java
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/media/css3/MediaAspectRatio.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- MediaAspectRatio.java	22 Oct 2011 13:36:22 -0000	1.2
+++ MediaAspectRatio.java	19 Jun 2012 19:21:22 -0000	1.3
@@ -13,7 +13,7 @@
 import org.w3c.css.values.CssValue;
 
 /**
- * @spec http://www.w3.org/TR/2010/CR-css3-mediaqueries-20100727/#aspect-ratio
+ * @spec http://www.w3.org/TR/2012/REC-css3-mediaqueries-20120619/#aspect-ratio
  */
 public class MediaAspectRatio extends MediaFeature {
 

Received on Tuesday, 19 June 2012 19:21:27 UTC