Changes to be committed:
modified:   slides/Idris.pdf