<commit_before>#
# $Id$
#

## targets

default: dvi


## dependencies

include ../../Makefile.in

NAME = classes

FILES = $(NAME).tex classes.tex Thy/document/Classes.tex \
  style.sty ../../iman.sty ../../extra.sty ../../isar.sty \
  ../../manual.bib ../../proof.sty<commit_msg>*** empty log message ***<commit_after>#
# $Id$
#

## targets

default: dvi


## dependencies

include ../../Makefile.in

isabelle_isar.eps:
	test -r isabelle_isar.eps || ln -s ../../gfx/isabelle_isar.eps .

isabelle_isar.pdf:
	test -r isabelle_isar.pdf || ln -s ../../gfx/isabelle_isar.pdf .

NAME = classes

FILES = $(NAME).tex classes.tex Thy/document/Classes.tex \
  style.sty ../../iman.sty ../../extra.sty ../../isar.sty \
  ../../manual.bib ../../proof.sty
{'fraction_non_alphanumeric': 0.23450134770889489, 'fraction_numerical': 0.0, 'mean_word_length': 2.2445414847161573, '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': '5547689', 'n_tokens_mistral': 291, 'n_tokens_neox': 268, 'n_words': 57}