| changeset 34 | 96bba9b493e9 |
| parent 30 | bd9eb959dbce |
| child 35 | f70e9ab4e680 |
| 33:aa3d23002080 | 34:96bba9b493e9 |
|---|---|
1 \documentclass[a4paper,UKenglish]{lipics} |
1 \documentclass[a4paper,UKenglish]{lipics} |
2 \usepackage{graphic} |
2 \usepackage{graphic} |
3 \usepackage{data} |
3 \usepackage{data} |
4 \usepackage{tikz-cd} |
4 \usepackage{tikz-cd} |
5 % \documentclass{article} |
5 % \documentclass{article} |
6 %\usepackage[utf8]{inputenc} |
6 %\usepackage[utf8]{inputenc} |