equal
deleted
inserted
replaced
11 |
11 |
12 include ../Makefile.in |
12 include ../Makefile.in |
13 |
13 |
14 NAME = axclass |
14 NAME = axclass |
15 |
15 |
16 FILES = axclass.tex body.tex ../iman.sty ../extra.sty ../isar.sty \ |
16 FILES = axclass.tex body.tex ../iman.sty ../extra.sty ../isar.sty \ |
17 ../pdfsetup.sty Group/document/Group.tex Nat/document/NatClass.tex \ |
17 ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty \ |
|
18 Group/document/Group.tex Nat/document/NatClass.tex \ |
18 Group/document/Product.tex Group/document/Semigroups.tex |
19 Group/document/Product.tex Group/document/Semigroups.tex |
19 |
20 |
20 dvi: $(NAME).dvi |
21 dvi: $(NAME).dvi |
21 |
22 |
22 $(NAME).dvi: $(FILES) isabelle_isar.eps |
23 $(NAME).dvi: $(FILES) isabelle_isar.eps |