Remove frog from the repository.

lib/dartdoc/frog/reader.dart

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 /**
  * An code reader that abstracts away the distinction between internal and user
  * libraries.
  */
 class LibraryReader {
   Map _specialLibs;
@@ skipping 16 matching lines @@
             'compiler/implementation/lib/io.dart'),
         'dart:isolate': joinPaths(options.libDir,
             'isolate/isolate_frog.dart'),
         'dart:uri': joinPaths(options.libDir,
             'uri/uri.dart'),
         'dart:utf': joinPaths(options.libDir,
             'utf/utf.dart'),
       };
     } else if (options.config == 'sdk') {
       _specialLibs = {
-        'dart:core': joinPaths(options.libDir, 'core/core_frog.dart'),
+        'dart:core': joinPaths(options.libDir,
+            'dartdoc/frog/lib/corelib.dart'),
         'dart:coreimpl': joinPaths(options.libDir,
-          'coreimpl/coreimpl_frog.dart'),
-        'dart:html': joinPaths(options.libDir, 'html/html_frog.dart'),
-        'dart:dom_deprecated': joinPaths(options.libDir, 'dom/dom_frog.dart'),
+            'dartdoc/frog/lib/corelib_impl.dart'),
+        'dart:html': joinPaths(options.libDir,
+            'html/html_frog.dart'),
+        'dart:dom_deprecated': joinPaths(options.libDir,
+            'dom/dom_frog.dart'),
         // TODO(rnystrom): How should we handle dart:io here?
-        'dart:isolate': joinPaths(options.libDir, 'isolate/isolate_frog.dart'),
-        'dart:crypto': joinPaths(options.libDir, 'crypto/crypto.dart'),
-        'dart:json': joinPaths(options.libDir, 'json/json_frog.dart'),
-        'dart:uri': joinPaths(options.libDir, 'uri/uri.dart'),
-        'dart:utf': joinPaths(options.libDir, 'utf/utf.dart'),
+        'dart:isolate': joinPaths(options.libDir,
+            'isolate/isolate_frog.dart'),
+        'dart:crypto': joinPaths(options.libDir,
+            'crypto/crypto.dart'),
+        'dart:json': joinPaths(options.libDir,
+            'json/json_frog.dart'),
+        'dart:uri': joinPaths(options.libDir,
+            'uri/uri.dart'),
+        'dart:utf': joinPaths(options.libDir,
+            'utf/utf.dart'),
       };
     } else {
       world.error('Invalid configuration ${options.config}');
     }
   }
 
   SourceFile readFile(String fullName) {
     String filename;
 
 
@@ skipping 15 matching lines @@
 
     if (world.files.fileExists(filename)) {
       // TODO(jimhug): Should we cache these based on time stamps here?
       return new SourceFile(filename, world.files.readAll(filename));
     } else {
       world.error('File not found: $filename', null);
       return new SourceFile(filename, '');
     }
   }
 }