isabelle: doc-src/Exercises/2002/Makefile@14f29eb097a3 (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 PSV2002
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 a6
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
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	43	## a6
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	44
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	45	a6: a6/generated/session.tex
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	46
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	47	a6/generated/session.tex: a6/ROOT.ML a6/*.thy
ed4e97874454 keep a copy of generated files in repository kleing parents: diff changeset	48	isatool make

author	kleing
	Mon, 29 Dec 2003 06:49:26 +0100
changeset 14333	14f29eb097a3
parent 13841	ed4e97874454
permissions	-rw-r--r--