equal
deleted
inserted
replaced
1 %% |
1 %% |
2 %% Author: Makarius, Hagia Maria Sion Abbey (Jerusalem) |
2 %% Author: Makarius, Hagia Maria Sion Abbey (Jerusalem) |
3 %% |
3 %% |
4 %% root for draft documents |
4 %% root for draft documents |
5 %% |
5 %% |
|
6 |
6 |
7 |
7 \documentclass[10pt,a4paper]{article} |
8 \documentclass[10pt,a4paper]{article} |
8 \usepackage{isabelle,isabellesym,pdfsetup} |
9 \usepackage{isabelle,isabellesym,pdfsetup} |
9 |
10 |
10 %packages for unusual symbols according to 'isatool latex -o syms' |
11 %packages for unusual symbols according to 'isatool latex -o syms' |