changeset 871 | 94b84d880c2b |
parent 864 | b5b1bc0a603b |
child 901 | 33cff35bdc1a |
--- a/slides/slides09.tex Mon Jan 24 00:14:02 2022 +0000 +++ b/slides/slides09.tex Tue Mar 22 00:36:18 2022 +0000 @@ -3,7 +3,7 @@ \usepackage{../slides} \usepackage{../langs} \usepackage{../data} -\usepackage{../graphics} +\usepackage{../graphicss} \usepackage{../grammar} \usepackage{soul} \usepackage{mathpartir}