Fix introduction

Author: xcatliu

advanced/class.md

@@ -102,13 +102,13 @@ Animal.isAnimal(a); // true
 a.isAnimal(a); // TypeError: a.isAnimal is not a function
 ```
 
-## ES.Next 中类的用法
+## ES7 中类的用法
 
-ES.Next 中有一些关于类的提案，TypeScript 也实现了它们，这里做一个简单的介绍。
+ES7 中有一些关于类的提案，TypeScript 也实现了它们，这里做一个简单的介绍。
 
 ### 实例属性
 
-ES6 中实例的属性只能通过构造函数中的 `this.xxx` 来定义，ES.Next 提案中可以直接在类里面定义：
+ES6 中实例的属性只能通过构造函数中的 `this.xxx` 来定义，ES7 提案中可以直接在类里面定义：
 
 ```js
 class Animal {
@@ -125,7 +125,7 @@ console.log(a.name); // Jack
 
 ### 静态属性
 
-ES.Next 提案中，可以使用 `static` 定义一个静态属性：
+ES7 提案中，可以使用 `static` 定义一个静态属性：
 
 ```js
 class Animal {

introduction/hello-typescript.md

@@ -35,7 +35,7 @@ TypeScript 中，使用 `:` 指定变量的类型，`:` 的前后有没有空格
 
 **TypeScript 只会进行静态检查，如果发现有错误，编译的时候就会报错。**
 
-> Tip: `let` 是 ES6 中的关键字，和 `var` 类似，用于定义一个局部变量，可以参阅 [let 和 const 命令](http://es6.ruanyifeng.com/#docs/let)。
+> `let` 是 ES6 中的关键字，和 `var` 类似，用于定义一个局部变量，可以参阅 [let 和 const 命令](http://es6.ruanyifeng.com/#docs/let)。
 
 下面尝试把这段代码编译一下：
 
@@ -64,9 +64,9 @@ var user = [0, 1, 2];
 document.body.innerHTML = sayHello(user);
 ```
 
-TypeScript 编译的时候即使报错了，还是会生成编译结果，我们仍然可以使用这个编译之后的文件。
+**TypeScript 编译的时候即使报错了，还是会生成编译结果**，我们仍然可以使用这个编译之后的文件。
 
-如果要在报错的时候终止 js 文件的生成，可以在 `tsconfig.json` 中配置 ？？？ 即可。关于 `tsconfig.json`，请参阅《？？？》一章。
+如果要在报错的时候终止 js 文件的生成，可以在 `tsconfig.json` 中配置 `noEmitOnError` 即可。关于 `tsconfig.json`，请参阅[编译选项](../practice)一章。
 
 ---
 

introduction/what-is-typescript.md

@@ -35,7 +35,7 @@
 - 大部分第三方库都有提供给 TypeScript 的类型定义文件
 - Google 开发的 Angular2 就是使用 TypeScript 编写的
 - ES6 的一部分特性是借鉴的 TypeScript 的（这条需要来源）
-- TypeScript 拥抱了 ES6 规范，也支持部分 ES.Next 草案的规范
+- TypeScript 拥抱了 ES6 规范，也支持部分 ES7 草案的规范
 
 ### TypeScript 的缺点