preplogic

Notes for the course "elementary logic"
git clone https://git.tronto.net/preplogic
Download | Log | Files | Refs | README

commit ad1f929a973c2b6e119f36ec47d214352eef01eb
parent df336d01e6a3468b00c0c45b7867ac2a0936fea9
Author: Sebastiano Tronto <sebastiano.tronto@gmail.com>
Date:   Fri, 11 Sep 2020 11:14:52 +0200

Fixed small typo

Diffstat:
MREADME.md | 8+++++---
1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md @@ -3,8 +3,10 @@ Here you can find the slides and the exercises for the course "Elementary Logic" (University of Luxembourg, PrepCamp 2020). -The files ``preplogic-slides.pdf`` and ``preplogic-exercises.pdf`` contain the -slides and exercises, respectively. +The files ``preplogic-slides.pdf``, ``preplogic-exercises.pdf`` and +``preplogic-solutions.pdf`` contain the slides, exercises and solutions for the +exercises, respectively. -The folders ``slides`` and and ``exercises`` contain the source .tex files. +The folders ``slides``, and ``exercises`` and ``solutions`` contain the source +.tex files.