dgrove@google.com 9f3b6b13ce Change #library("dom") to #library("dart:dom_deprecated") . ...

Change #library("html") to #library("dart:html") .

Fix issue 4194.
Review URL: https://chromiumcodereview.appspot.com//10826023

git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge/dart@9919 260f80e4-7a28-3924-810f-c04153c831b5

2012-07-25 23:41:18 +00:00

..

dart2js

Change #library("dom") to #library("dart:dom_deprecated") .

2012-07-25 23:41:18 +00:00

dartium

Change #library("dom") to #library("dart:dom_deprecated") .

2012-07-25 23:41:18 +00:00

doc

Change #library("dom") to #library("dart:dom_deprecated") .

2012-07-25 23:41:18 +00:00

scripts

Rename client/{dom,html} to lib/{dom,html} .

2012-03-26 16:29:54 +00:00

src

Convert DOM and HTML frog to dart2js.

2012-07-24 22:45:59 +00:00

html_dart2js.dart

Change #library("dom") to #library("dart:dom_deprecated") .

2012-07-25 23:41:18 +00:00

html_dartium.dart

Change #library("dom") to #library("dart:dom_deprecated") .

2012-07-25 23:41:18 +00:00