isabelle: doc-src/AxClass/Makefile@9ed4098074bc (annotated)

3167 4e1eae442821 Tutorial on Axiomatic Type Classes; wenzelm parents: diff changeset	1	# $Id$
4e1eae442821 Tutorial on Axiomatic Type Classes; wenzelm parents: diff changeset	2	#########################################################################
4e1eae442821 Tutorial on Axiomatic Type Classes; wenzelm parents: diff changeset	3	# #
4e1eae442821 Tutorial on Axiomatic Type Classes; wenzelm parents: diff changeset	4	# Makefile for the report "Introduction to Isabelle" #
4e1eae442821 Tutorial on Axiomatic Type Classes; wenzelm parents: diff changeset	5	# #
4e1eae442821 Tutorial on Axiomatic Type Classes; wenzelm parents: diff changeset	6	#########################################################################
4e1eae442821 Tutorial on Axiomatic Type Classes; wenzelm parents: diff changeset	7
4e1eae442821 Tutorial on Axiomatic Type Classes; wenzelm parents: diff changeset	8
4e1eae442821 Tutorial on Axiomatic Type Classes; wenzelm parents: diff changeset	9	FILES = axclass.tex style.tex
4e1eae442821 Tutorial on Axiomatic Type Classes; wenzelm parents: diff changeset	10
4e1eae442821 Tutorial on Axiomatic Type Classes; wenzelm parents: diff changeset	11	axclass.dvi.gz: $(FILES)
4e1eae442821 Tutorial on Axiomatic Type Classes; wenzelm parents: diff changeset	12	-rm axclass.dvi*
4e1eae442821 Tutorial on Axiomatic Type Classes; wenzelm parents: diff changeset	13	latex axclass
4e1eae442821 Tutorial on Axiomatic Type Classes; wenzelm parents: diff changeset	14	latex axclass
4e1eae442821 Tutorial on Axiomatic Type Classes; wenzelm parents: diff changeset	15	gzip -f axclass.dvi
4e1eae442821 Tutorial on Axiomatic Type Classes; wenzelm parents: diff changeset	16
4e1eae442821 Tutorial on Axiomatic Type Classes; wenzelm parents: diff changeset	17	dist: $(FILES)
4e1eae442821 Tutorial on Axiomatic Type Classes; wenzelm parents: diff changeset	18	-rm axclass.dvi*
4e1eae442821 Tutorial on Axiomatic Type Classes; wenzelm parents: diff changeset	19	latex axclass
4e1eae442821 Tutorial on Axiomatic Type Classes; wenzelm parents: diff changeset	20	latex axclass
4e1eae442821 Tutorial on Axiomatic Type Classes; wenzelm parents: diff changeset	21
4e1eae442821 Tutorial on Axiomatic Type Classes; wenzelm parents: diff changeset	22	clean:
4e1eae442821 Tutorial on Axiomatic Type Classes; wenzelm parents: diff changeset	23	@rm .aux .log

author	wenzelm
	Fri, 19 Dec 1997 10:13:47 +0100
changeset 4440	9ed4098074bc
parent 3167	4e1eae442821
child 6599	dc5bf3f40ad3
permissions	-rw-r--r--