doc-src/TutorialI/Makefile
changeset 23845 0b695c401d4d
parent 12677 73c070d5c031
child 23927 cbe0e4aeb53c
equal deleted inserted replaced
23844:7da8f260d920 23845:0b695c401d4d
    15 
    15 
    16 NAME = tutorial
    16 NAME = tutorial
    17 FILES = tutorial.tex basics.tex fp.tex appendix.tex \
    17 FILES = tutorial.tex basics.tex fp.tex appendix.tex \
    18 	Advanced/advanced.tex \
    18 	Advanced/advanced.tex \
    19 	CTL/ctl.tex \
    19 	CTL/ctl.tex \
    20 	Inductive/inductive.tex Inductive/even-example.tex \
    20 	Inductive/inductive.tex Inductive/document/AB.tex \
    21 	Inductive/advanced-examples.tex \
    21 	Inductive/document/Advanced.tex Inductive/document/Even.tex \
       
    22 	Inductive/document/Mutual.tex Inductive/document/Star.tex \
    22 	Protocol/protocol.tex \
    23 	Protocol/protocol.tex \
    23 	Rules/rules.tex Sets/sets.tex \
    24 	Rules/rules.tex Sets/sets.tex \
    24 	Types/numerics.tex Types/types.tex \
    25 	Types/numerics.tex Types/types.tex \
    25 	Documents/documents.tex \
    26 	Documents/documents.tex \
    26 	../iman.sty ../ttbox.sty ../extra.sty \
    27 	../iman.sty ../ttbox.sty ../extra.sty \