<commit_before>#
# $Id$
#

## targets

default: dvi


## dependencies

include ../Makefile.in

SEDINDEX = ./isa-index

NAME = tutorial
FILES = tutorial.tex basics.tex fp.tex appendix.tex \
	Advanced/advanced.tex \
	CTL/ctl.tex \
	Inductive/inductive.tex Inductive/even-example.tex \
	Inductive/advanced-examples.tex \
	Protocol/protocol.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

$(NAME).dvi: $(FILES) isabelle_hol.eps
	$(LATEX) $(NAME)
	$(BIBTEX) $(NAME)
	$(LATEX) $(NAME)
	$(LATEX) $(NAME)
	$(SEDINDEX) $(NAME)
	$(LATEX) $(NAME)

pdf: $(NAME).pdf

$(NAME).pdf: $(FILES) isabelle_hol.pdf
	$(PDFLATEX) $(NAME)
	$(BIBTEX) $(NAME)
	$(PDFLATEX) $(NAME)
	$(PDFLATEX) $(NAME)
	$(SEDINDEX) $(NAME)
	$(FIXBOOKMARKS) $(NAME).out
	$(PDFLATEX) $(NAME)<commit_msg>link Types/typedef images;<commit_after>#
# $Id$
#

## targets

default: dvi


## dependencies

include ../Makefile.in

SEDINDEX = ./isa-index

NAME = tutorial
FILES = tutorial.tex basics.tex fp.tex appendix.tex \
	Advanced/advanced.tex \
	CTL/ctl.tex \
	Inductive/inductive.tex Inductive/even-example.tex \
	Inductive/advanced-examples.tex \
	Protocol/protocol.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

$(NAME).dvi: $(FILES) isabelle_hol.eps
	@ln -sf Types/typedef.eps .
	$(LATEX) $(NAME)
	$(BIBTEX) $(NAME)
	$(LATEX) $(NAME)
	$(LATEX) $(NAME)
	$(SEDINDEX) $(NAME)
	$(LATEX) $(NAME)

pdf: $(NAME).pdf

$(NAME).pdf: $(FILES) isabelle_hol.pdf
	@ln -sf Types/typedef.pdf .
	$(PDFLATEX) $(NAME)
	$(BIBTEX) $(NAME)
	$(PDFLATEX) $(NAME)
	$(PDFLATEX) $(NAME)
	$(SEDINDEX) $(NAME)
	$(FIXBOOKMARKS) $(NAME).out
	$(PDFLATEX) $(NAME)
{'fraction_non_alphanumeric': 0.20094191522762953, 'fraction_numerical': 0.0, 'mean_word_length': 3.756218905472637, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2329568', 'n_tokens_mistral': 836, 'n_tokens_neox': 795, 'n_words': 147}