Specs: rename sky:core to dart:sky

sky/specs/modules.md

 Sky Module System
 =================
 
 This document describes the Sky module system.
 
 Overview
 --------
 
 The Sky module system is based on the ``import`` element. In its
 most basic form, you import a module as follows:
@@ skipping 18 matching lines @@
 
 ```html
 <import src="path/to/chocolate.sky" as="chocolate" />
 ```
 
 
 Module API
 ----------
 
 Each module consists of one or more libraries. The first library in a
-module is the *element tree library*, which imports the sky:core
+module is the *element tree library*, which imports the dart:sky
 module and then consists of the following code for a Sky module:
 
 ```dart
 final Module module = new Module();
 ```
 
 ...and the following code for a Sky application:
 
 ```dart
 final Module module = new Application();
 ```
 
 The ``<script>`` elements found in the document create the subsequent
 libraries. Each one first imports the ``dart:mirror`` library, then
-the ``sky:core`` module, then the first library described above, then
+the ``dart:sky`` module, then the first library described above, then
 all the modules referenced by ``<import>`` element up to that
 ``<script>`` element and all the libraries defined by ``<script>``
 elements up to that point, interleaved so as to maintain the same
 relative order as those elements were first seen by the parser.
 
 When a library imports a module, it actually imports all the libraries
 that were declared by that module except the aforementioned element
 tree library. If the ``as`` attribute is present on the ``import``
 element, all the libraries are bound to the same name.
 
@@ skipping 11 matching lines @@
     init();
   AutomaticMetadata.runLibrary(library, module);
 }
 ```
 
 Then, that ``main()`` function is called.
 
 TODO(ianh): decide what URL and name we should give the libraries, as
 exposed in MirrorSystem.getName(libraryMirror.qualifiedName) etc
 
-The ``Module`` class is defined in ``sky:core`` as follows:
+The ``Module`` class is defined in ``dart:sky`` as follows:
 
 ```dart
 abstract class AbstractModule extends EventTarget {
   AbstractModule({this.url, this.elements});
 
   final String url;
 
   final Root elements; // O(1)
   // the Root node of the module or application's element tree
 
@@ skipping 24 matching lines @@
 }
 
 class Application extends AbstractModule {
   Application({String url, Root elements, this.gestureManager}) :
     super(url: url, elements: elements); // O(1)
   external String get title; // O(1)
   external void set title(String newValue); // O(1)
   final GestureManager gestureManager;
 }
 ```