| OLD | NEW | 
|    1 // Copyright (c) 2015, the Fletch project authors. Please see the AUTHORS file |    1 // Copyright (c) 2015, the Dartino project authors. Please see the AUTHORS file | 
|    2 // for details. All rights reserved. Use of this source code is governed by a |    2 // for details. All rights reserved. Use of this source code is governed by a | 
|    3 // BSD-style license that can be found in the LICENSE.md file. |    3 // BSD-style license that can be found in the LICENSE.md file. | 
|    4  |    4  | 
|    5 import 'dart:fletch._system' as fletch; |    5 import 'dart:fletch._system' as fletch; | 
|    6 import 'dart:fletch._system' show patch; |    6 import 'dart:fletch._system' show patch; | 
|    7  |    7  | 
|    8 @patch class Random { |    8 @patch class Random { | 
|    9   @patch factory Random([int seed]) { |    9   @patch factory Random([int seed]) { | 
|   10     return new _Random(seed); |   10     return new _Random(seed); | 
|   11   } |   11   } | 
| (...skipping 207 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
|  219  |  219  | 
|  220 @fletch.native external double _sqrt(double x); |  220 @fletch.native external double _sqrt(double x); | 
|  221  |  221  | 
|  222 @fletch.native external double _exp(double x); |  222 @fletch.native external double _exp(double x); | 
|  223  |  223  | 
|  224 @fletch.native external double _log(double x); |  224 @fletch.native external double _log(double x); | 
|  225  |  225  | 
|  226 @fletch.native external double _atan2(double a, double b); |  226 @fletch.native external double _atan2(double a, double b); | 
|  227  |  227  | 
|  228 @fletch.native external double _pow(double x, double exponent); |  228 @fletch.native external double _pow(double x, double exponent); | 
| OLD | NEW |