Fix course name

kupl · Sep 22, 2023 · 717a7fe · 717a7fe
1 parent 9ae2065
commit 717a7fe
Show file tree

Hide file tree

Showing 15 changed files with 3 additions and 3 deletions.
diff --git a/content/courses/_index.md b/content/courses/_index.md
@@ -52,7 +52,7 @@ weight = 60
 ## 2017 Fall
 
 - [COSE 212: Programming Languages]({{< relref "cose212/2017/_index.md" >}})
-- [AAA 615: Formal Methods]({{< relref "aaa616/2017/_index.md" >}})
+- [AAA 615: Formal Methods]({{< relref "aaa615/2017/_index.md" >}})
 
 ## 2017 Spring
 

diff --git a/content/courses/aaa616/2017/_index.md → content/courses/aaa615/2017/_index.md b/content/courses/aaa616/2017/_index.md → content/courses/aaa615/2017/_index.md
@@ -1,9 +1,9 @@
 +++
 draft = false
-title = 'AAA616-17F'
+title = 'AAA615-17F'
 +++
 
-# Program Analysis, 2017 Fall
+# Formal Methods, 2017 Fall
 
 ## Course Information
 

diff --git a/content/courses/aaa616/2017/coc.jpg → content/courses/aaa615/2017/coc.jpg b/content/courses/aaa616/2017/coc.jpg → content/courses/aaa615/2017/coc.jpg
diff --git a/...ent/courses/aaa616/2017/homeworks/hw1.pdf → ...ent/courses/aaa615/2017/homeworks/hw1.pdf b/...ent/courses/aaa616/2017/homeworks/hw1.pdf → ...ent/courses/aaa615/2017/homeworks/hw1.pdf
diff --git a/...rses/aaa616/2017/papers/p196-blanchet.pdf → ...rses/aaa615/2017/papers/p196-blanchet.pdf b/...rses/aaa616/2017/papers/p196-blanchet.pdf → ...rses/aaa615/2017/papers/p196-blanchet.pdf
diff --git a/content/courses/aaa616/2017/slides/lec0.pdf → content/courses/aaa615/2017/slides/lec0.pdf b/content/courses/aaa616/2017/slides/lec0.pdf → content/courses/aaa615/2017/slides/lec0.pdf
diff --git a/content/courses/aaa616/2017/slides/lec1.pdf → content/courses/aaa615/2017/slides/lec1.pdf b/content/courses/aaa616/2017/slides/lec1.pdf → content/courses/aaa615/2017/slides/lec1.pdf
diff --git a/content/courses/aaa616/2017/slides/lec2.pdf → content/courses/aaa615/2017/slides/lec2.pdf b/content/courses/aaa616/2017/slides/lec2.pdf → content/courses/aaa615/2017/slides/lec2.pdf
diff --git a/content/courses/aaa616/2017/slides/lec3.pdf → content/courses/aaa615/2017/slides/lec3.pdf b/content/courses/aaa616/2017/slides/lec3.pdf → content/courses/aaa615/2017/slides/lec3.pdf
diff --git a/content/courses/aaa616/2017/slides/lec4.pdf → content/courses/aaa615/2017/slides/lec4.pdf b/content/courses/aaa616/2017/slides/lec4.pdf → content/courses/aaa615/2017/slides/lec4.pdf
diff --git a/content/courses/aaa616/2017/slides/lec5.pdf → content/courses/aaa615/2017/slides/lec5.pdf b/content/courses/aaa616/2017/slides/lec5.pdf → content/courses/aaa615/2017/slides/lec5.pdf
diff --git a/content/courses/aaa616/2017/slides/lec6.pdf → content/courses/aaa615/2017/slides/lec6.pdf b/content/courses/aaa616/2017/slides/lec6.pdf → content/courses/aaa615/2017/slides/lec6.pdf
diff --git a/content/courses/aaa616/2017/slides/lec7.pdf → content/courses/aaa615/2017/slides/lec7.pdf b/content/courses/aaa616/2017/slides/lec7.pdf → content/courses/aaa615/2017/slides/lec7.pdf
diff --git a/content/courses/aaa616/2017/slides/lec8.pdf → content/courses/aaa615/2017/slides/lec8.pdf b/content/courses/aaa616/2017/slides/lec8.pdf → content/courses/aaa615/2017/slides/lec8.pdf
diff --git a/content/courses/aaa616/2017/slides/lec9.pdf → content/courses/aaa615/2017/slides/lec9.pdf b/content/courses/aaa616/2017/slides/lec9.pdf → content/courses/aaa615/2017/slides/lec9.pdf