更新 app-manual.md

6c0bf498 · 宋海霞 · 5dfa4fcb · 6c0bf498
--- a/app-manual.md
+++ b/app-manual.md
@@ -129,27 +129,27 @@ DS Lab的主窗口布局由下面的若干元素组成：
 ![“演示流程”窗口](./img/9.png)

 **按照下面的步骤继续调试：**
-1.	在“调试”菜单中重复选择“继续”，直到在观察点函数的结束位置中断。DS Lab会单步执行“演示流程”窗口中的每一行（包括循环）。
-在调试的过程中，每执行“演示流程”窗口中的一行后，仔细观察“可视化数据”窗口内容所发生的变化，例如：线性表元素的复制，当前的内存值与上一次的内存值进行比较，如果发生了变化，用红色的字体标识出来；游标的移动过程等，进而深入理解在线性表中插入元素的执行过程。
+1.	在“调试”菜单中重复选择“继续”，直到在观察点函数的结束位置中断。DS Lab会单步执行“演示流程”窗口中的每一行（包括循环）。  
+在调试的过程中，每执行“演示流程”窗口中的一行后，仔细观察“可视化数据”窗口内容所发生的变化，例如：线性表元素的复制，当前的内存值与上一次的内存值进行比较，如果发生了变化，用红色的字体标识出来；游标的移动过程等，进而深入理解在线性表中插入元素的执行过程。   

-**按照下面的步骤继续调试观察点函数被第二次调用的过程，理解在线性表中插入元素失败的执行过程：**
-1.	在“调试”菜单中重复选择“继续”，直到再次在观察点函数的结束位置中断。
+**按照下面的步骤继续调试观察点函数被第二次调用的过程，理解在线性表中插入元素失败的执行过程：**  
+1.	在“调试”菜单中重复选择“继续”，直到再次在观察点函数的结束位置中断。   

-**按照下面的步骤结束此次调试：**
-1.	在“调试”菜单中重复选择“继续”，直到调试结束。或者，在“调试”菜单中选择“停止调试”。
+**按照下面的步骤结束此次调试：**  
+1.	在“调试”菜单中重复选择“继续”，直到调试结束。或者，在“调试”菜单中选择“停止调试”。   

-读者可以在演示模式下重新启动调试，再次执行以上的步骤，仔细体会在“演示模式”下调试观察点函数的过程，以及在线性表中插入元素的过程。
+读者可以在演示模式下重新启动调试，再次执行以上的步骤，仔细体会在“演示模式”下调试观察点函数的过程，以及在线性表中插入元素的过程。  
 #  验证项目（失败）
-这里介绍DS Lab提供的另外一个重要功能：验证功能。
-之前提到了main.c文件中的InsertBefore函数还不完整，是留给读者完成的。而当读者完成此函数后，往往需要使用调试功能、或者执行功能，来判断所完成的函数是否能够达到预期的效果，即是否与演示时函数的转储信息、执行过程和返回值完全一致。DS Lab提供的验证功能可以自动化的、精确的完成这个验证过程。
-验证功能分为下面三个阶段：
+这里介绍DS Lab提供的另外一个重要功能：验证功能。   
+之前提到了main.c文件中的InsertBefore函数还不完整，是留给读者完成的。而当读者完成此函数后，往往需要使用调试功能、或者执行功能，来判断所完成的函数是否能够达到预期的效果，即是否与演示时函数的转储信息、执行过程和返回值完全一致。DS Lab提供的验证功能可以自动化的、精确的完成这个验证过程。   
+**验证功能分为下面三个阶段：**      
 1.	在“演示模式”下执行观察点函数（与工具栏上的“演示模式”按钮是否高亮无关），将产生的转储信息自动保存在文本文件ValidateSource.txt中。
 2.	在“非演示模式”下执行观察点函数，将产生的转储信息自动保存在文本文件ValidateTarget.txt中。
 3.	自动使用DS Lab提供的文本文件比较工具来比较这两个文件。当这两个文件中的转储信息完全一致时，报告“验证成功”；否则，报告“验证失败”。
 当读者完成的函数与演示时函数的执行过程和返回值完全一致时，就会产生完全一致的转储信息，验证功能就会报告“验证成功”；否则，验证功能就会报告“验证失败”，并且允许读者使用DS Lab提供的文本文件比较工具，来查看这两个转储信息文件中的不同之处，从而帮助读者迅速、准确的找到验证失败的原因，进而继续修改源代码，直到验证成功。

 **按照下面的步骤启动验证功能：**
-	在“调试”菜单中选择“开始验证”（快捷键是Alt+F5）。在验证过程中，“输出”窗口会实时显示验证各个阶段的执行过程（如清单1-1所示），包括转储信息文件的路径、观察点函数的调用信息和返回信息、以及验证结果。由于InsertBefore函数还不完整，所以验证失败。
+-	在“调试”菜单中选择“开始验证”（快捷键是Alt+F5）。在验证过程中，“输出”窗口会实时显示验证各个阶段的执行过程（如以下清单所示），包括转储信息文件的路径、观察点函数的调用信息和返回信息、以及验证结果。由于InsertBefore函数还不完整，所以验证失败。

 ------ 已启动验证: 项目: LinearList_InsertBefore, 配置: Debug ------

@@ -258,7 +258,7 @@ int InsertBefore(SqList* pList, ElemType Elem, int i)
 9.	退出DS Lab。

 #  获得帮助
-如果读者在使用DS Lab的过程中遇到问题需要专业的解答，或者有一些心得体会想和其他DS Lab用户分享，欢迎加入DS Lab网上论坛：
+如果读者在使用DS Lab的过程中遇到问题需要专业的解答，或者有一些心得体会想和其他DS Lab用户分享，欢迎加入CodeCode：
 -	选择DS Lab“帮助”菜单中的“提交问题或建议”。
 或者
 -	直接访问https://www.codecode.net/engintime/ds-lab/ds-lab/issues