isabelle: src/HOL/IsaMakefile@40e3c3be6bca (annotated)

2448 61337170db84 IsaMakefile for HOL; wenzelm parents: diff changeset	1	#
48722 a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	2	# approximative IsaMakefile for legacy applications
a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	3	#
2448 61337170db84 IsaMakefile for HOL; wenzelm parents: diff changeset	4
4518 74c01296e818 improved targets; wenzelm parents: 4455 diff changeset	5	default: HOL
33210 94ae82a4452f recovered sort indentation for "sort position", as documented in the file; wenzelm parents: 33204 diff changeset	6
48722 a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	7	clean:
a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	8	-@$(ISABELLE_TOOL) build -a -n -c
10135 c2a4dccf6e67 reorganized AxClasses; wenzelm parents: 10094 diff changeset	9
48722 a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	10	all:
a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	11	@$(ISABELLE_TOOL) build -a
28401 d5f39173444c separate HOL-Main image haftmann parents: 28393 diff changeset	12
48723 0829e958f0aa more legacy targets; wenzelm parents: 48722 diff changeset	13
0829e958f0aa more legacy targets; wenzelm parents: 48722 diff changeset	14	Pure: $(ISABELLE_OUTPUT)/Pure
0829e958f0aa more legacy targets; wenzelm parents: 48722 diff changeset	15
0829e958f0aa more legacy targets; wenzelm parents: 48722 diff changeset	16	$(ISABELLE_OUTPUT)/Pure:
48722 a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	17	@$(ISABELLE_TOOL) build -b Pure
27368 9f90ac19e32b established Plain theory and image haftmann parents: 27326 diff changeset	18
48723 0829e958f0aa more legacy targets; wenzelm parents: 48722 diff changeset	19
0829e958f0aa more legacy targets; wenzelm parents: 48722 diff changeset	20	HOL: $(ISABELLE_OUTPUT)/HOL
0829e958f0aa more legacy targets; wenzelm parents: 48722 diff changeset	21
0829e958f0aa more legacy targets; wenzelm parents: 48722 diff changeset	22	$(ISABELLE_OUTPUT)/HOL:
48722 a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	23	@$(ISABELLE_TOOL) build -b HOL
2448 61337170db84 IsaMakefile for HOL; wenzelm parents: diff changeset	24
48723 0829e958f0aa more legacy targets; wenzelm parents: 48722 diff changeset	25
0829e958f0aa more legacy targets; wenzelm parents: 48722 diff changeset	26	HOL-Library: $(ISABELLE_OUTPUT)/HOL-Library
0829e958f0aa more legacy targets; wenzelm parents: 48722 diff changeset	27
0829e958f0aa more legacy targets; wenzelm parents: 48722 diff changeset	28	$(ISABELLE_OUTPUT)/HOL-Library:
48722 a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	29	@$(ISABELLE_TOOL) build -b HOL-Library
2448 61337170db84 IsaMakefile for HOL; wenzelm parents: diff changeset	30
48723 0829e958f0aa more legacy targets; wenzelm parents: 48722 diff changeset	31
0829e958f0aa more legacy targets; wenzelm parents: 48722 diff changeset	32	HOL-IMP: $(ISABELLE_OUTPUT)/HOL-IMP
0829e958f0aa more legacy targets; wenzelm parents: 48722 diff changeset	33
0829e958f0aa more legacy targets; wenzelm parents: 48722 diff changeset	34	$(ISABELLE_OUTPUT)/HOL-IMP:
48722 a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	35	@$(ISABELLE_TOOL) build -b HOL-IMP
2448 61337170db84 IsaMakefile for HOL; wenzelm parents: diff changeset	36
48723 0829e958f0aa more legacy targets; wenzelm parents: 48722 diff changeset	37
0829e958f0aa more legacy targets; wenzelm parents: 48722 diff changeset	38	HOL-Multivariate_Analysis: $(ISABELLE_OUTPUT)/HOL-Multivariate_Analysis
0829e958f0aa more legacy targets; wenzelm parents: 48722 diff changeset	39
0829e958f0aa more legacy targets; wenzelm parents: 48722 diff changeset	40	$(ISABELLE_OUTPUT)/HOL-Multivariate_Analysis:
48722 a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	41	@$(ISABELLE_TOOL) build -b HOL-Multivariate_Analysis
33175 2083bde13ce1 distinguished session for multivariate analysis himmelma parents: 33083 diff changeset	42
48723 0829e958f0aa more legacy targets; wenzelm parents: 48722 diff changeset	43
48727 6461ad428015 add legacy target for HOL-Probability, needed by AFP/Markov_Models hoelzl parents: 48723 diff changeset	44	HOL-Probability: $(ISABELLE_OUTPUT)/HOL-Probability
6461ad428015 add legacy target for HOL-Probability, needed by AFP/Markov_Models hoelzl parents: 48723 diff changeset	45
6461ad428015 add legacy target for HOL-Probability, needed by AFP/Markov_Models hoelzl parents: 48723 diff changeset	46	$(ISABELLE_OUTPUT)/HOL-Probability:
6461ad428015 add legacy target for HOL-Probability, needed by AFP/Markov_Models hoelzl parents: 48723 diff changeset	47	@$(ISABELLE_TOOL) build -b HOL-Probability
6461ad428015 add legacy target for HOL-Probability, needed by AFP/Markov_Models hoelzl parents: 48723 diff changeset	48
6461ad428015 add legacy target for HOL-Probability, needed by AFP/Markov_Models hoelzl parents: 48723 diff changeset	49
48723 0829e958f0aa more legacy targets; wenzelm parents: 48722 diff changeset	50	HOL-Nominal: $(ISABELLE_OUTPUT)/HOL-Nominal
0829e958f0aa more legacy targets; wenzelm parents: 48722 diff changeset	51
0829e958f0aa more legacy targets; wenzelm parents: 48722 diff changeset	52	$(ISABELLE_OUTPUT)/HOL-Nominal:
48722 a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	53	@$(ISABELLE_TOOL) build -b HOL-Nominal
41566 676b32bea254 Added HOL-SPARK and removed old_primrec.ML berghofe parents: 41505 diff changeset	54
48723 0829e958f0aa more legacy targets; wenzelm parents: 48722 diff changeset	55
0829e958f0aa more legacy targets; wenzelm parents: 48722 diff changeset	56	HOL-Word: $(ISABELLE_OUTPUT)/HOL-Word
0829e958f0aa more legacy targets; wenzelm parents: 48722 diff changeset	57
0829e958f0aa more legacy targets; wenzelm parents: 48722 diff changeset	58	$(ISABELLE_OUTPUT)/HOL-Word:
48722 a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	59	@$(ISABELLE_TOOL) build -b HOL-Word
40774 0437dbc127b3 moved directory src/HOLCF to src/HOL/HOLCF; huffman parents: 40676 diff changeset	60
48723 0829e958f0aa more legacy targets; wenzelm parents: 48722 diff changeset	61
0829e958f0aa more legacy targets; wenzelm parents: 48722 diff changeset	62	HOLCF: $(ISABELLE_OUTPUT)/HOLCF
0829e958f0aa more legacy targets; wenzelm parents: 48722 diff changeset	63
0829e958f0aa more legacy targets; wenzelm parents: 48722 diff changeset	64	$(ISABELLE_OUTPUT)/HOLCF:
48722 a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	65	@$(ISABELLE_TOOL) build -b HOLCF
40774 0437dbc127b3 moved directory src/HOLCF to src/HOL/HOLCF; huffman parents: 40676 diff changeset	66

author	blanchet
	Mon, 26 Nov 2012 13:35:05 +0100
changeset 50222	40e3c3be6bca
parent 48727	6461ad428015
permissions	-rw-r--r--