changeset 26911 | 871cc7f11034 |
parent 25427 | 8ba39d2d9d0b |
child 42511 | bf89455ccf9d |
26910:aa6357b39212 | 26911:871cc7f11034 |
---|---|
1 \documentclass[envcountsame]{llncs} |
1 \documentclass[envcountsame]{llncs} |
2 %\documentclass[11pt,a4paper]{article} |
2 %\documentclass[11pt,a4paper]{article} |
3 \usepackage{isabelle,isabellesym,pdfsetup} |
3 \usepackage{../../../isabelle,../../../isabellesym,../../../pdfsetup} |
4 |
4 |
5 %for best-style documents ... |
5 %for best-style documents ... |
6 \urlstyle{rm} |
6 \urlstyle{rm} |
7 %\isabellestyle{it} |
7 %\isabellestyle{it} |
8 |
8 |