[REFACTOR] Refactor the organization for software analysis course (#522)

2023-10-12 20:26:42 -05:00 · 2023-10-12 20:26:42 -05:00 · 14b2b931c8
parent 3673c718ac
commit 14b2b931c8
7 changed files with 4 additions and 4 deletions
--- a/docs/编程语言设计与分析/CS242.en.md
+++ b/docs/编程语言设计与分析/CS242.en.md
--- a/docs/编程语言设计与分析/CS242.md
+++ b/docs/编程语言设计与分析/CS242.md
--- a/docs/编程语言设计与分析/NJU-SoftwareAnalysis.en.md
+++ b/docs/编程语言设计与分析/NJU-SoftwareAnalysis.en.md
--- a/docs/编程语言设计与分析/NJU-SoftwareAnalysis.md
+++ b/docs/编程语言设计与分析/NJU-SoftwareAnalysis.md
--- a/docs/编程语言设计与分析/PKU-SoftwareAnalysis.en.md
+++ b/docs/编程语言设计与分析/PKU-SoftwareAnalysis.en.md
--- a/docs/编程语言设计与分析/PKU-SoftwareAnalysis.md
+++ b/docs/编程语言设计与分析/PKU-SoftwareAnalysis.md
--- a/mkdocs.yml
+++ b/mkdocs.yml
@ -212,10 +212,10 @@ nav:
      - "CMU 15-799: Special Topics in Database Systems": "数据库系统/15799.md"
  - 编译原理:
      - "Stanford CS143: Compilers": "编译原理/CS143.md"
-      - "NJU 软件分析": "编译原理/NJU-SoftwareAnalysis.md"
-      - "PKU 软件分析": "编译原理/PKU-SoftwareAnalysis.md"
-  - 程序语言设计:
-      - "Stanford CS242: Programming Languages": "程序语言设计/CS242.md"
+  - 编程语言设计与分析:
+      - "Stanford CS242: Programming Languages": "编程语言设计与分析/CS242.md"
+      - "NJU 软件分析": "编程语言设计与分析/NJU-SoftwareAnalysis.md"
+      - "PKU 软件分析": "编程语言设计与分析/PKU-SoftwareAnalysis.md"
  - 计算机图形学:
      - "GAMES101": "计算机图形学/GAMES101.md"
      - "GAMES202": "计算机图形学/GAMES202.md"