doc-src/TutorialI/tutorial.tex
changeset 42511 bf89455ccf9d
parent 30956 9b294296691b
child 48171 28a6d67c93f0
     1.1 --- a/doc-src/TutorialI/tutorial.tex	Sun May 01 00:01:59 2011 +0200
     1.2 +++ b/doc-src/TutorialI/tutorial.tex	Sun May 01 16:36:34 2011 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  \documentclass{article}
     1.5  %%\includeonly{Types/types} %%UNCOMMENT to process only selected chapters
     1.6 -\usepackage{cl2emono-modified,../isabelle,../isabellesym}
     1.7 +\usepackage{cl2emono-modified,../../lib/texinputs/isabelle,../../lib/texinputs/isabellesym}
     1.8  \usepackage{../proof,amsmath,amsfonts}
     1.9  \usepackage{latexsym,wasysym,verbatim,graphicx,tutorial,../ttbox,comment}
    1.10  \usepackage[greek,english]{babel}