isabelle: doc-src/Exercises/2001/Makefile@d5bd4a18ce70 (annotated)

13841 ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	1	#
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	2	# $Id$
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	3	#
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	4	# IsaMakefile for PSV2001
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	5	#
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	6
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	7	SESSIONS = a1 a2 a3 a5
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	8
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	9	## targets
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	10
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	11	default: sessions
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	12	sessions: $(SESSIONS)
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	13
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	14
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	15	## a1
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	16
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	17	a1: a1/generated/session.tex
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	18
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	19	a1/generated/session.tex: a1/ROOT.ML a1/*.thy
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	20	isatool make
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	21
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	22	## a2
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	23
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	24	a2: a2/generated/session.tex
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	25
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	26	a2/generated/session.tex: a2/ROOT.ML a2/*.thy
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	27	isatool make
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	28
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	29	## a3
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	30
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	31	a3: a3/generated/session.tex
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	32
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	33	a3/generated/session.tex: a3/ROOT.ML a3/*.thy
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	34	isatool make
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	35
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	36	## a5
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	37
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	38	a5: a5/generated/session.tex
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	39
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	40	a5/generated/session.tex: a5/ROOT.ML a5/*.thy
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	41	isatool make
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	42

author	wenzelm
	Tue, 26 Apr 2005 19:49:39 +0200
changeset 15843	d5bd4a18ce70
parent 13841	ed4e97874454
permissions	-rw-r--r--