equal
deleted
inserted
replaced
1 \documentclass{article} |
1 \documentclass{article} |
2 \newif\ifremarks |
2 \newif\ifremarks |
3 \remarkstrue %TRUE causes remarks to be displayed (as marginal notes) |
3 \remarksfalse %TRUE causes remarks to be displayed (as marginal notes) |
4 \usepackage{cl2emono-modified,isabelle,isabellesym} |
4 \usepackage{cl2emono-modified,isabelle,isabellesym} |
5 \usepackage{latexsym,verbatim,graphicx,../iman,../extra,../ttbox,comment} |
5 \usepackage{latexsym,verbatim,graphicx,../iman,../extra,../ttbox,comment} |
6 \usepackage{proof,amsmath} |
6 \usepackage{proof,amsmath} |
7 \usepackage{../pdfsetup} %last package! |
7 \usepackage{../pdfsetup} %last package! |
8 |
8 |