doc-src/TutorialI/tutorial.tex
changeset 10399 e37e123738f7
parent 10340 0a380ac80e7d
child 10498 777d6bde7b47
     1.1 --- a/doc-src/TutorialI/tutorial.tex	Mon Nov 06 16:43:01 2000 +0100
     1.2 +++ b/doc-src/TutorialI/tutorial.tex	Mon Nov 06 18:28:22 2000 +0100
     1.3 @@ -1,8 +1,8 @@
     1.4  % pr(latex xsymbols symbols)
     1.5 -\documentclass[11pt,a4paper]{report}
     1.6 +\documentclass{article}
     1.7  \newif\ifremarks
     1.8  \remarkstrue          %TRUE causes remarks to be displayed (as marginal notes)
     1.9 -\usepackage{isabelle,isabellesym}
    1.10 +\usepackage{cl2emono-modified,isabelle,isabellesym}
    1.11  \usepackage{latexsym,verbatim,graphicx,../iman,../extra,../ttbox,comment}
    1.12  \usepackage{proof,amsmath}
    1.13  \usepackage{../pdfsetup}    %last package!
    1.14 @@ -26,7 +26,7 @@
    1.15  \renewenvironment{isamarkuptxt}{\begin{isamarkuptext}}{\end{isamarkuptext}}
    1.16  
    1.17  %% lcp's macros
    1.18 -\newcommand{\remark}[1]{\ifremarks\marginpar{\raggedright\footnotesize#1}\fi}
    1.19 +\newcommand{\REMARK}[1]{\ifremarks\marginpar{\raggedright\footnotesize#1}\fi}
    1.20  \newcommand{\rulename}[1]{\hfill$(\text{#1})$} %names of Isabelle rules
    1.21  \let\bigisa=\isa
    1.22  %% was previously