changeset 45046 | 5ff8cd3b1673 |
parent 45044 | 2fae15f8984d |
child 73404 | 299f6a8faccc |
45045:7ac79855b1e2 | 45046:5ff8cd3b1673 |
---|---|
1 \documentclass[12pt,a4paper]{report} |
1 \documentclass[12pt,a4paper]{report} |
2 |
2 |
3 \usepackage[a4paper,hscale=0.65,vscale=0.71,hcentering,vcentering]{geometry} |
3 \usepackage[a4paper,hscale=0.65,vscale=0.71]{geometry} |
4 |
4 |
5 \usepackage{isabelle,isabellesym} |
5 \usepackage{isabelle,isabellesym} |
6 |
6 |
7 \usepackage{charter} |
7 \usepackage{charter} |
8 |
8 |