equal
deleted
inserted
replaced
12 include ../Makefile.in |
12 include ../Makefile.in |
13 |
13 |
14 NAME = isar-ref |
14 NAME = isar-ref |
15 |
15 |
16 FILES = isar-ref.tex Thy/document/intro.tex basics.tex Thy/document/syntax.tex \ |
16 FILES = isar-ref.tex Thy/document/intro.tex basics.tex Thy/document/syntax.tex \ |
17 Thy/document/pure.tex generic.tex logics.tex refcard.tex conversion.tex \ |
17 Thy/document/pure.tex generic.tex logics.tex Thy/document/Quick_Reference.tex \ |
|
18 conversion.tex \ |
18 ../isar.sty ../rail.sty ../railsetup.sty ../proof.sty \ |
19 ../isar.sty ../rail.sty ../railsetup.sty ../proof.sty \ |
19 ../iman.sty ../extra.sty ../ttbox.sty ../manual.bib |
20 ../iman.sty ../extra.sty ../ttbox.sty ../manual.bib |
20 |
21 |
21 dvi: $(NAME).dvi |
22 dvi: $(NAME).dvi |
22 |
23 |