equal
deleted
inserted
replaced
66 \usepackage{enumitem} |
66 \usepackage{enumitem} |
67 \usepackage{nccmath} |
67 \usepackage{nccmath} |
68 \usepackage{tikz-cd} |
68 \usepackage{tikz-cd} |
69 \usepackage{tikz} |
69 \usepackage{tikz} |
70 \usetikzlibrary{automata, positioning, calc} |
70 \usetikzlibrary{automata, positioning, calc} |
71 |
71 \usepackage{mathpartir} |
72 |
72 |
73 |
73 |
74 \DeclareCaptionType{mytype}[Illustration][] |
74 \DeclareCaptionType{mytype}[Illustration][] |
75 \newenvironment{envForCaption}{\captionsetup{type=mytype} }{} |
75 \newenvironment{envForCaption}{\captionsetup{type=mytype} }{} |
76 %---------------------------------------------------------------------------------------- |
76 %---------------------------------------------------------------------------------------- |