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} |
4 \usepackage{latexsym,verbatim,graphicx,tutorial,../ttbox,comment} |
4 \usepackage{latexsym,verbatim,graphicx,tutorial,../ttbox,comment} |
|
5 \let\RightarrowOrig=\Rightarrow\usepackage{marvosym}\let\Rightarrow=\RightarrowOrig %bug in marvosym!? |
5 \usepackage{../pdfsetup} |
6 \usepackage{../pdfsetup} |
6 %last package! |
7 %last package! |
7 |
8 |
8 \remarkstrue %TRUE causes remarks to be displayed (as marginal notes) |
9 \remarkstrue %TRUE causes remarks to be displayed (as marginal notes) |
9 %\remarksfalse |
10 %\remarksfalse |