isabelle: doc-src/Exercises/2003/Makefile@8e739a6eaf11 (annotated)

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

author	obua
	Sun, 09 May 2004 23:04:36 +0200
changeset 14722	8e739a6eaf11
parent 14524	0ccba84113a1
permissions	-rw-r--r--