equal
deleted
inserted
replaced
1 \documentclass{article} |
1 \documentclass{article} |
2 \usepackage{cl2emono-modified,isabelle,isabellesym} |
2 \usepackage{cl2emono-modified,isabelle,isabellesym} |
3 \usepackage{proof,amsmath,amsfonts} |
3 \usepackage{proof,amsmath,amsfonts,amssymb} |
4 \usepackage{latexsym,wasysym,verbatim,graphicx,tutorial,ttbox,comment} |
4 \usepackage{latexsym,wasysym,verbatim,graphicx,tutorial,ttbox,comment} |
5 \usepackage{eurosym} |
5 \usepackage{eurosym} |
6 \usepackage[english]{babel} |
6 \usepackage[english]{babel} |
7 \usepackage{pdfsetup} |
7 \usepackage{pdfsetup} |
8 %last package! |
8 %last package! |