Deploying to gh-pages from @ 063776f 🚀

yegor256 · Apr 17, 2024 · 1375a15 · 1375a15
1 parent 7c9f773
commit 1375a15
Show file tree

Hide file tree

Showing 12 changed files with 1 addition and 1 deletion.
diff --git a/01-grammar.pdf b/01-grammar.pdf
diff --git a/02-syntax.pdf b/02-syntax.pdf
diff --git a/03-ast.pdf b/03-ast.pdf
diff --git a/04-semantics.pdf b/04-semantics.pdf
diff --git a/05-machines.pdf b/05-machines.pdf
diff --git a/06-program-analysis.pdf b/06-program-analysis.pdf
diff --git a/07-data-flow-analysis.pdf b/07-data-flow-analysis.pdf
diff --git a/08-symbolic-execution.pdf b/08-symbolic-execution.pdf
diff --git a/09-model-checking.pdf b/09-model-checking.pdf
diff --git a/10-machine-learning.pdf b/10-machine-learning.pdf
diff --git a/index.html b/index.html
@@ -9,6 +9,6 @@
 <p><a href='09-model-checking.pdf'>09-model-checking.pdf</a></p>
 <p><a href='10-machine-learning.pdf'>10-machine-learning.pdf</a></p>
 <p><a href='syllabus.pdf'>syllabus.pdf</a></p>
-<p>Compiled on: Sun Mar 31 12:19:46 PM UTC 2024.</p>
+<p>Compiled on: Wed Apr 17 02:46:31 PM UTC 2024.</p>
 <p>The sources are in <a href='https://github.com/yegor256/ppa'>GitHub</a>.</p>
 <p>Videos are in <a href='https://www.youtube.com/playlist?list=PLaIsQH4uc08wdXIC4utfgMxV_iswE9_Md'>YouTube</a>.</p>
diff --git a/syllabus.pdf b/syllabus.pdf