isabelle: doc-src/Exercises/0304/Makefile@9c2e31e483b2 (annotated)

14499 f08ea8e964d8 new streckem parents: diff changeset	1	#
f08ea8e964d8 new streckem parents: diff changeset	2	# $Id$
f08ea8e964d8 new streckem parents: diff changeset	3	#
f08ea8e964d8 new streckem parents: diff changeset	4	# IsaMakefile for PSV WS 2003/2004
f08ea8e964d8 new streckem parents: diff changeset	5	#
f08ea8e964d8 new streckem parents: diff changeset	6
f08ea8e964d8 new streckem parents: diff changeset	7	SESSIONS = a1 a2 a3 a4 a5
f08ea8e964d8 new streckem parents: diff changeset	8
f08ea8e964d8 new streckem parents: diff changeset	9	## targets
f08ea8e964d8 new streckem parents: diff changeset	10
f08ea8e964d8 new streckem parents: diff changeset	11	default: sessions
f08ea8e964d8 new streckem parents: diff changeset	12	sessions: $(SESSIONS)
f08ea8e964d8 new streckem parents: diff changeset	13
f08ea8e964d8 new streckem parents: diff changeset	14
f08ea8e964d8 new streckem parents: diff changeset	15	## a1
f08ea8e964d8 new streckem parents: diff changeset	16
f08ea8e964d8 new streckem parents: diff changeset	17	a1: a1/generated/session.tex
f08ea8e964d8 new streckem parents: diff changeset	18
f08ea8e964d8 new streckem parents: diff changeset	19	a1/generated/session.tex: a1/ROOT.ML a1/*.thy
f08ea8e964d8 new streckem parents: diff changeset	20	isatool make
f08ea8e964d8 new streckem parents: diff changeset	21
f08ea8e964d8 new streckem parents: diff changeset	22	## a2
f08ea8e964d8 new streckem parents: diff changeset	23
f08ea8e964d8 new streckem parents: diff changeset	24	a2: a2/generated/session.tex
f08ea8e964d8 new streckem parents: diff changeset	25
f08ea8e964d8 new streckem parents: diff changeset	26	a2/generated/session.tex: a2/ROOT.ML a2/*.thy
f08ea8e964d8 new streckem parents: diff changeset	27	isatool make
f08ea8e964d8 new streckem parents: diff changeset	28
f08ea8e964d8 new streckem parents: diff changeset	29	## a3
f08ea8e964d8 new streckem parents: diff changeset	30
f08ea8e964d8 new streckem parents: diff changeset	31	a3: a3/generated/session.tex
f08ea8e964d8 new streckem parents: diff changeset	32
f08ea8e964d8 new streckem parents: diff changeset	33	a3/generated/session.tex: a3/ROOT.ML a3/*.thy
f08ea8e964d8 new streckem parents: diff changeset	34	isatool make
f08ea8e964d8 new streckem parents: diff changeset	35
f08ea8e964d8 new streckem parents: diff changeset	36	## a4
f08ea8e964d8 new streckem parents: diff changeset	37
f08ea8e964d8 new streckem parents: diff changeset	38	a4: a4/generated/session.tex
f08ea8e964d8 new streckem parents: diff changeset	39
f08ea8e964d8 new streckem parents: diff changeset	40	a4/generated/session.tex: a4/ROOT.ML a4/*.thy
f08ea8e964d8 new streckem parents: diff changeset	41	isatool make
f08ea8e964d8 new streckem parents: diff changeset	42
f08ea8e964d8 new streckem parents: diff changeset	43	## a5
f08ea8e964d8 new streckem parents: diff changeset	44
f08ea8e964d8 new streckem parents: diff changeset	45	a5: a5/generated/session.tex
f08ea8e964d8 new streckem parents: diff changeset	46
f08ea8e964d8 new streckem parents: diff changeset	47	a5/generated/session.tex: a5/ROOT.ML a5/*.thy
f08ea8e964d8 new streckem parents: diff changeset	48	isatool make
f08ea8e964d8 new streckem parents: diff changeset	49

author	kleing
	Sat, 17 Apr 2004 00:46:22 +0200
changeset 14610	9c2e31e483b2
parent 14499	f08ea8e964d8
permissions	-rw-r--r--