isabelle: doc-src/Makefile@237fce674bfb (annotated)

602 9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	1	# $Id$
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	2	#########################################################################
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	3	# #
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	4	# Makefile for the report "A Fixedpoint Approach ..." #
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	5	# #
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	6	#########################################################################
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	7
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	8
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	9	FILES = ind-defs.tex iman.sty extra.sty
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	10
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	11	ind-defs.dvi.gz: $(FILES)
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	12	latex209 ind-defs
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	13	bibtex ind-defs
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	14	latex209 ind-defs
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	15	latex209 ind-defs
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	16	gzip -f ind-defs.dvi

author	lcp
	Fri, 21 Oct 1994 09:47:02 +0100
changeset 649	237fce674bfb
parent 602	9cb1fa628dbb
child 1053	a19fbe807f91
permissions	-rw-r--r--