diff options
| author | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2020-09-11 11:14:52 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2020-09-11 11:14:52 +0200 |
| commit | ad1f929a973c2b6e119f36ec47d214352eef01eb (patch) | |
| tree | ba213772fdd44e3b4b9fc5e597a8504e5c27a6f1 | |
| parent | df336d01e6a3468b00c0c45b7867ac2a0936fea9 (diff) | |
| download | preplogic-ad1f929a973c2b6e119f36ec47d214352eef01eb.tar.gz preplogic-ad1f929a973c2b6e119f36ec47d214352eef01eb.zip | |
Fixed small typo
| -rw-r--r-- | README.md | 8 |
1 files changed, 5 insertions, 3 deletions
| @@ -3,8 +3,10 @@ | |||
| 3 | Here you can find the slides and the exercises for the course | 3 | Here you can find the slides and the exercises for the course |
| 4 | "Elementary Logic" (University of Luxembourg, PrepCamp 2020). | 4 | "Elementary Logic" (University of Luxembourg, PrepCamp 2020). |
| 5 | 5 | ||
| 6 | The files ``preplogic-slides.pdf`` and ``preplogic-exercises.pdf`` contain the | 6 | The files ``preplogic-slides.pdf``, ``preplogic-exercises.pdf`` and |
| 7 | slides and exercises, respectively. | 7 | ``preplogic-solutions.pdf`` contain the slides, exercises and solutions for the |
| 8 | exercises, respectively. | ||
| 8 | 9 | ||
| 9 | The folders ``slides`` and and ``exercises`` contain the source .tex files. | 10 | The folders ``slides``, and ``exercises`` and ``solutions`` contain the source |
| 11 | .tex files. | ||
| 10 | 12 | ||