--- a/doc-src/TutorialI/Makefile Thu May 15 20:02:44 2008 +0200
+++ b/doc-src/TutorialI/Makefile Thu May 15 20:14:10 2008 +0200
@@ -14,20 +14,17 @@
SEDINDEX = ./isa-index
NAME = tutorial
-FILES = tutorial.tex basics.tex fp.tex appendix.tex \
- Advanced/advanced.tex \
- CTL/ctl.tex \
- Inductive/inductive.tex Inductive/document/AB.tex \
- Inductive/document/Advanced.tex Inductive/document/Even.tex \
- Inductive/document/Mutual.tex Inductive/document/Star.tex \
- Protocol/protocol.tex Protocol/document/Event.tex \
- Protocol/document/Message.tex Protocol/document/Public.tex \
- Protocol/document/NS_Public.tex \
- Rules/rules.tex Sets/sets.tex \
- Types/numerics.tex Types/types.tex \
- Documents/documents.tex \
- ../iman.sty ../ttbox.sty ../extra.sty \
- isabelle.sty isabellesym.sty ../pdfsetup.sty
+FILES = tutorial.tex basics.tex fp.tex appendix.tex \
+ Advanced/advanced.tex CTL/ctl.tex Inductive/inductive.tex \
+ Inductive/document/AB.tex Inductive/document/Advanced.tex \
+ Inductive/document/Even.tex Inductive/document/Mutual.tex \
+ Inductive/document/Star.tex Protocol/protocol.tex \
+ Protocol/document/Event.tex Protocol/document/Message.tex \
+ Protocol/document/Public.tex Protocol/document/NS_Public.tex \
+ Rules/rules.tex Sets/sets.tex Types/numerics.tex \
+ Types/types.tex Documents/documents.tex ../iman.sty \
+ ../ttbox.sty ../extra.sty ../isabelle.sty ../isabellesym.sty \
+ ../pdfsetup.sty
dvi: $(NAME).dvi