Deploying to gh-pages from @ 460721d 🚀

yegor256 · Feb 17, 2024 · 42c9d97 · 42c9d97
1 parent 39e66c0
commit 42c9d97
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,5 +9,5 @@
 <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: Thu Jan 25 11:42:39 AM UTC 2024.</p>
+<p>Compiled on: Sat Feb 17 07:35:08 AM UTC 2024.</p>
 <p>The sources are in <a href='https://github.com/yegor256/ppa'>GitHub</a>.</p>
diff --git a/syllabus.pdf b/syllabus.pdf