stuff
Merge branch 'good_ol_plotting' of https://github.com/phimuemue/idp into good_ol_plotting
Merge branch 'good_ol_plotting' of https://github.com/phimuemue/idp into good_ol_plotting
Minor changes
Minor modifications in slides