commit 7ab9e9a9fe08dc03f6d8ba4d2fd86a4e52a4a5b3 parent 6b2bf010cc5ba3f57f22769c8e809d029026c26d Author: Sebastiano Tronto <sebastiano.tronto@gmail.com> Date: Thu, 9 Sep 2021 09:11:16 +0200 Added notes by Jean-Marc Schlenker Diffstat:
| M | .gitignore | | | 1 | - |
| A | preplogic-notes.pdf | | | 0 |
2 files changed, 0 insertions(+), 1 deletion(-)
diff --git a/.gitignore b/.gitignore @@ -1,5 +1,4 @@ exercises-luca notes.txt -notes-schlenker.pdf solutions preplogic-solutions.pdf diff --git a/preplogic-notes.pdf b/preplogic-notes.pdf Binary files differ.